EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
MICHAEL J.O’DONNELL2222 年出版296 页ISBN:026215028X
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
C语言编程 一本全面的C语言入门教程 a complete introduction to the C programming language
(美)Stephen G. Kochan著;张小潘译2006 年出版543 页ISBN:7121007355
本书是一本完完整整介绍C语言基础的书籍。本书最大的特色在于举例精妙,讲解生动。通过一系列实际情形的需求,引入关于程序设计的基本知识,加上由浅入深地比较了C语言不同语法以及各种语句的区别,能够全面掌握C...
Lecture Notes in Artificial Intelligence 3835 Logic for Programming
Artificial Intellignce2005 年出版0 页ISBN:
Lecture Notes in Artificial Intelligence 3452 Logic for Programming
Artificial Intelligence2005 年出版0 页ISBN:
Lecture Notes in Artificial Intelligence 4246 Logic for Programming
Artificial Intelligence2006 年出版0 页ISBN:
Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN:
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 353 FOUNDATIONS OF EQUATIONAL LOGIC PROGRAMMING
1989 年出版250 页ISBN:038751533X
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN:3540112103