Yazar
Aït-Kaci, Hassan, 1954-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format:
Electronic Resources
Alıntı:
Prolog (Computer program language)
View Other Search Results
Yazar
Doets, Kees, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format:
Electronic Resources
Alıntı:
proofs and computations can be manipulated on computers, and this book contains elegant versions and
View Other Search Results