| 007 情報学・情報科学 |
Logic Programming with Prolog |
Springer |
978-1-85233-938-8 |
| 007 情報学・情報科学 |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (Lecture Notes in Computer Science, 6565) |
Springer |
978-3-642-20831-7 |
| 007 情報学・情報科学 |
Logic Programs, Norms and Action (Lecture Notes in Computer Science, 7360) |
Springer |
978-3-642-29413-6 |
| 007 情報学・情報科学 |
Logic, Language and Meaning (Lecture Notes in Computer Science, 7218) |
Springer |
978-3-642-31481-0 |
| 007 情報学・情報科学 |
Logic, Language, and Computation (Lecture Notes in Computer Science, 6618) |
Springer |
978-3-642-22302-0 |
| 007 情報学・情報科学 |
Logic, Language, Information and Computation (Lecture Notes in Computer Science, 6642) |
Springer |
978-3-642-20919-2 |
| 007 情報学・情報科学 |
Logic, Language, Information and Computation (Lecture Notes in Computer Science, 7456) |
Springer |
978-3-642-32620-2 |
| 007 情報学・情報科学 |
Logic, Rationality, and Interaction (Lecture Notes in Computer Science, 6953) |
Springer |
978-3-642-24129-1 |
| 007 情報学・情報科学 |
Logic-Based Program Synthesis and Transformation (Lecture Notes in Computer Science, 6564) |
Springer |
978-3-642-20550-7 |
| 007 情報学・情報科学 |
Logic-Based Program Synthesis and Transformation (Lecture Notes in Computer Science, 7225) |
Springer |
978-3-642-32210-5 |
| 41 数学 |
Logic: A Brief Course (UNITEXT) |
Springer |
978-88-470-2360-4 |
| 41 数学 |
Logica Universalis |
Springer |
978-3-7643-7259-0 |
| 41 数学 |
Logica Universalis |
Springer |
978-3-7643-8353-4 |
| 41 数学 |
Logica: Metodo Breve (UNITEXT, 1) |
Springer |
978-88-470-1883-9 |
| 007 情報学・情報科学 |
Logical Aspects of Computational Linguistics (Lecture Notes in Computer Science, 3492) |
Springer |
978-3-540-25783-7 |
| 007 情報学・情報科学 |
Logical Aspects of Computational Linguistics (Lecture Notes in Computer Science, 6736) |
Springer |
978-3-642-22220-7 |
| 007 情報学・情報科学 |
Logical Aspects of Computational Linguistics (Lecture Notes in Computer Science, 7351) |
Springer |
978-3-642-31261-8 |
| 007 情報学・情報科学 |
Logical Data Modeling (Integrated Series in Information Systems, 5) |
Springer |
978-0-387-22950-8 |
| 41 数学 |
Logical Foundations of Mathematics and Computational Complexity (Springer Monographs in Mathematics) |
Springer |
978-3-319-00118-0 |
| 41 数学 |
Logicism, Intuitionism, and Formalism (Synthese Library, 341) |
Springer |
978-1-4020-8925-1 |