6 works Add another?
Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Automatic theorem proving, Calculus, Logic programming, Artificial Intelligence (incl. Robotics), Artificial intelligence, Aspektorientierte Programmierung, Computer Science, Congresses, Constraint-Programmierung, Functional programming (Computer science), Infinite Processes, Infinity, Lambda calculus, Lambda-Kalkül, Lambda-calcul, Logic, Logic, symbolic and mathematical, Logics and Meanings of Programs, MATHEMATICS, Machine theory, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Processus infinis, Prozessalgebra, ReasoningID Numbers
- OLID: OL7865225A
Links (outside Open Library)
No links yet. Add one?
May 4, 2020 | Created by ImportBot | import new book |