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ă 26 mai-09 iunie
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-30%Preț: 318.58 lei457.40 lei -
Constraint Handling RulesThom Frühwirth-20%Preț: 386.18 lei482.73 lei -
Quantum Computing for Computer ScientistsNoson S. Yanofsky-22%Preț: 533.99 lei684.60 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ț: 315.80 lei394.74 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.