Outils logiques pour le traitement du temps: de la linguistique à l'intelligence artificielle by Bestougeff, Hélène, Ligozat, Gérard fromÉtudes et recherches en informatique 0 Type: Book
Deduktionssysteme: Automatisierung des logischen Denkens by Bläsius, Karl Hans, Bürckert, Hans-Jürgen 0 Type: Book
Formal techniques in real-time and fault-tolerant systems: 5th international symposium, FTRTFT '98, Lyngby, … by Ravn, Anders P., Symposium on Formal Techniques in Real-time and Fault Tolerant Systems, (Lyngby) fromLecture Notes in Computer Science 0 Type: Book
