- Ausgabe
-
5. Aufl.
- Sprache
-
Deutsch
- Umfang
-
200 S.
- ISBN
-
978-3-8274-1005-4
- Identifier
-
957810768
- Reihe
-
Hochschultaschenbuch
Thema
Mathematische Logik ; Logische Programmierung
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:23 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Logik für Informatiker
Logik für Informatiker
Logik für Informatiker
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
Foundations of logic programming
Logik und Logikprogrammierung
Logic for applications
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
Proofs, programs and executable specifications in higher order logic
Logical aspects of computational linguistics : third international conference ; selected papers
Logical aspects of computational linguistics : second international conference ; selected papers
Topics in logical anti-exceptionalism and paraconsistent logics
Logik für Informatiker
Logik für Informatiker
Logik für Informatiker
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
Foundations of logic programming
Logik und Logikprogrammierung
Logic for applications
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
Proofs, programs and executable specifications in higher order logic
Logical aspects of computational linguistics : third international conference ; selected papers
Logical aspects of computational linguistics : second international conference ; selected papers
Topics in logical anti-exceptionalism and paraconsistent logics
Logik für Informatiker
Logik für Informatiker
Logik für Informatiker
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
Foundations of logic programming
Logik und Logikprogrammierung
Logic for applications
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
Proofs, programs and executable specifications in higher order logic
Logical aspects of computational linguistics : third international conference ; selected papers
Logical aspects of computational linguistics : second international conference ; selected papers