Computational Logic, Logic Programming and Beyond

Computational Logic, Logic Programming and Beyond
Год
 
Страниц
 
637
ISBN
 
ISBN10:3540439609
Издатель
 
Springer

Описание:

Spans the whole field of computational logic seen from the point of view of logic programming. Addresses issues concerning the development of programming languages in logic and the application of computational logic to real-life problems. Softcover.

Похожие книги

Introduction to mathematical logicIntroduction to mathematical logic
Автор: E. Mendelson
Год: 1997
Logic and integer programmingLogic and integer programming
Автор: H. Paul Williams
Год: 2009
Being Logical: A Guide to Good ThinkingBeing Logical: A Guide to Good Thinking
Автор: D.Q. McInerny
Год: 2004
Introduction to Fuzzy Logic using MATLABIntroduction to Fuzzy Logic using MATLAB
Автор: S.N. Sivanandam
Год: 2006
Simple Formal Logic: With Common-Sense Symbolic TechniquesSimple Formal Logic: With Common-Sense Symbolic Techniques
Автор: Arnold vander Nat
Год: 2009