Using Sophisticated Models in Resolution Theorem Proving
Autor David M. Sandforden Limba Engleză Paperback – aug 1980
Preț: 320.14 lei
Preț vechi: 400.17 lei
-20%
Puncte Express: 480
Carte tipărită la comandă
Livrare economică 16-30 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540102311
ISBN-10: 3540102310
Pagini: 260
Ilustrații: XI, 242 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.4 kg
Ediția:1980
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540102310
Pagini: 260
Ilustrații: XI, 242 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.4 kg
Ediția:1980
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Cybersecurity and Applied MathematicsLeigh Metcalf-31%Preț: 328.28 lei472.43 lei -
Constraint Handling RulesThom Frühwirth-20%Preț: 387.68 lei484.60 lei -
Quantum Computing for Computer ScientistsNoson S. Yanofsky-19%Preț: 565.71 lei698.41 lei -
-23%Preț: 464.09 lei602.72 lei -
Preț: 399.97 lei -
Mathematical Methods in CounterterrorismNasrullah Memon-20%Preț: 961.00 lei1201.25 lei -
Introduction to Mathematica® with ApplicationsMarian Mure¿an-20%Preț: 738.72 lei923.40 lei -
Arithmetic of Finite FieldsSylvain Duquesne-20%Preț: 321.74 lei402.18 lei -
Preț: 374.09 lei -
Theory and Applications of Models of ComputationT. V. Gopal-20%Preț: 343.86 lei429.81 lei -
Relational and Algebraic Methods in Computer SciencePeter Höfner-20%Preț: 324.22 lei405.27 lei -
-20%Preț: 319.92 lei399.90 lei -
Mathematical Foundations of Computer Science 1980P. Dembinski-20%Preț: 426.78 lei533.48 lei -
Grammar and L FormsD. Wood-20%Preț: 236.86 lei296.08 lei -
Algebra and Coalgebra in Computer ScienceJosé Luis Fiadeiro-20%Preț: 330.75 lei413.43 lei -
Category Theory and Computer ScienceDavid Pitt-20%Preț: 320.50 lei400.63 lei -
Automated Deduction in Equational Logic and Cubic CurvesWilliam McCune-20%Preț: 319.49 lei399.37 lei -
Computational LogicUlrich Berger-20%Preț: 962.57 lei1203.22 lei -
An Introduction to Maple VJack-Michel Cornil-20%Preț: 329.29 lei411.61 lei
Public țintă
ResearchCuprins
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.