Cantitate/Preț
Produs

Using Sophisticated Models in Resolution Theorem Proving: Lecture Notes in Computer Science, cartea 90

Autor David M. Sandford
en Limba Engleză Paperback – aug 1980

Din seria Lecture Notes in Computer Science

Preț: 31322 lei

Preț vechi: 39152 lei
-20% Nou

Puncte Express: 470

Preț estimativ în valută:
5997 6497$ 5007£

Carte tipărită la comandă

Livrare economică 12-26 decembrie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540102311
ISBN-10: 3540102310
Pagini: 260
Ilustrații: XI, 242 p.
Dimensiuni: 155 x 233 x 14 mm
Greutate: 0.37 kg
Ediția:1980
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.