From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions de Dominique Snyers

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions: Lecture Notes in Computer Science, cartea 271

Autor Dominique Snyers, Andre Thayse

en Limba Engleză Paperback – 12 aug 1987

Din seria Lecture Notes in Computer Science

Preț: 312^.17 lei

Preț vechi: 390^.21 lei
-20%

Puncte Express: 468

:
55^.19€ • 65^.94$ • 47^.81£

Carte tipărită la comandă

Livrare economică 14-28 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Specificații

ISBN-13: 9783540182177
ISBN-10: 3540182179
Pagini: 134
Ilustrații: IV, 125 p.
Dimensiuni: 155 x 233 x 7 mm
Greutate: 0.2 kg
Ediția:1987
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Theorem in proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.