edited by Lorenza Saitta, Jean-Daniel Zucker
Berlin Heidelberg : Springer-Verlag GmbH., 2005
Google Booksで詳細を見る
1
電子ブック
2005
機械可読データファイル -- リモートファイル (wr)
: v.: digital
Lecture Notes in Computer Science ; 3607
英語 (eng)
Saitta, Lorenza
Zucker, Jean-Daniel
SpringerLink (Online service)
Artificial intelligence
Computer science
Logic design
Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
9783540318828 (: electronic bk)
http://dx.doi.org/10.1007/11527862
Saitta, LorenzaZucker, Jean-DanielSpringerLink (Online service)
Artificial intelligenceComputer scienceLogic designComputer ScienceArtificial Intelligence (incl. Robotics)Mathematical Logic and Formal LanguagesLogics and Meanings of Programs
