4 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
Subjects
Congresses, Symbolic and mathematical Logic, Artificial intelligence, Computer programs, Lambda calcul, Logic, symbolic and mathematical, Logique mathématique, Logique programme, Mathematics, Mathematics, general, Programmation en logique, Spécification programme, Theory of Knowledge, Théorie type, Vérification programmeID Numbers
- OLID: OL3039507A
Links outside Open Library
No links yet. Add one?
April 30, 2008 | Created by an anonymous user | initial import |