A Grammatical View of Logic Programming (Logic Programming)
 |
|
Содержание:
Общедоступная история астрономии в XIX столетии
Описание:
This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.Похожие книги
 | Logic and integer programming Автор: H. Paul Williams Год: 2009 |
 | Introduction to mathematical logic Автор: E. Mendelson Год: 1997 |
| Being Logical: A Guide to Good Thinking Автор: D.Q. McInerny Год: 2004 |
| Introduction to Fuzzy Logic using MATLAB Автор: S.N. Sivanandam Год: 2006 |
 | Simple Formal Logic: With Common-Sense Symbolic Techniques Автор: Arnold vander Nat Год: 2009 |
