Jump to main content

yr 〜
yr

Search results 6

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
Paper図書
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editorsSpringer[2021]<M154-D14>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...puter science) Mathematical foundations. Software Engineering. Mathem...

Mathematical foundations of speech and language processing. : 2000-2001 IMA annual program on mathematics in multimedia : workshop on mathematical foundations of speech processing and recognition : workshop on mathematical foundations of natural language modeling : "mathematics in multimedia" year-long program : 2000, ------. (IMA Volumes in Mathematics and Its Applications ; 138)

Mathematical foundations of speech and language processing. : 2000-2001 IMA annual program on mathematics in multimedia : workshop on mathematical foundations of speech processing and recognition : workshop on mathematical foundations of natural language modeling : "mathematics in multimedia" year-long program : 2000, ------. (IMA Volumes in Mathematics and Its Applications ; 138)
Paper図書
Springerc2004.<M17-07-2179>
National Diet Library
  • Subject HeadingSpeech processing systems -- Mathematical models. Mathematical foundations. Language processing.

Mathematical foundations of computer science 2014 : 39th international symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014, proceedings pt. 1 : paperback pt. 2 : paperback

Mathematical foundations of computer science 2014 : 39th international symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014, proceedings pt. 1 : paperback pt. 2 : paperback
Paper図書
Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik (eds.)Springerc2014
Other Libraries in Japan
  • Subject HeadingComputer science -- Mathematics -- Congresses MFCS Mathematical foundations
  • Subject Heading (ID)Computer science -- Mathematics -- Congresses MFCS Mathematical foundations
  • Author HeadingSymposium on Mathematical Foundations of Computer Science Csuhaj-Va...

Mathematical foundations of computer science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : proceedings

Mathematical foundations of computer science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : proceedings
Paper図書
Krishnendu Chatterjee, Jirí Sgall (eds.)Springerc2013
Other Libraries in Japan
  • Subject HeadingComputer science -- Mathematics -- Congresses MFCS Mathematical foundations
  • Subject Heading (ID)Computer science -- Mathematics -- Congresses MFCS Mathematical foundations
  • Author HeadingSymposium on Mathematical Foundations of Computer Science Chatterje...

Mathematical Foundations of Computer Science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31 2012 : proceedings : pbk

Mathematical Foundations of Computer Science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31 2012 : proceedings : pbk
Paper図書
Branislav Rovan, Vladimiro Sassone, Peter Widmayer (eds.)Springerc2012
Other Libraries in Japan
  • Subject HeadingComputer science -- Mathematics -- Congresses MFCS Mathematical foundations
  • Subject Heading (ID)Computer science -- Mathematics -- Congresses MFCS Mathematical foundations
  • Author HeadingSymposium on Mathematical Foundations of Computer Science Rovan, Br...

Truth-seeking by abduction

Truth-seeking by abduction
Paper図書
Ilkka NiiniluotoSpringerc2018
Other Libraries in Japan
  • Subject Heading...wledge. bicssc Mathematical foundations. bicssc
  • Subject Heading (ID)...wledge. bicssc Mathematical foundations. bicssc

Reached to the end of result.

RSS