Born | 1947 |
3 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
Showing all works by author. Would you like to see only ebooks?
Born | 1947 |
Subjects
Symbolic and mathematical Logic, Apprentissage automatique, Aprendizado computacional, Automatic theorem proving, Computer logic, Computer programming, Congresses, Einführung, Inteligencia artificial, Langages de programmation, Logic programming, Logic, symbolic and mathematical, Logique informatique, Logisch programmeren, Logische Programmierung, Machine learning, Programmation logique, Programmation structuree, Programming languages (Electronic computers), Semantics, Structured programming, Symbolic and Mathematical Logic, SémantiqueID Numbers
- OLID: OL1074119A
Links outside Open Library
No links yet. Add one?
April 1, 2008 | Created by an anonymous user | initial import |