Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz: Informatik-Fachberichte, cartea 199
Autor Clemens Becksteinde Limba Germană Paperback – 21 dec 1988
Din seria Informatik-Fachberichte
- 20%
Preț: 399.89 lei - 20%
Preț: 406.54 lei - 20%
Preț: 398.77 lei - 20%
Preț: 344.08 lei - 20%
Preț: 405.26 lei - 20%
Preț: 352.15 lei - 20%
Preț: 405.76 lei - 20%
Preț: 348.68 lei - 20%
Preț: 398.15 lei - 20%
Preț: 410.51 lei - 20%
Preț: 404.64 lei - 20%
Preț: 401.45 lei - 20%
Preț: 401.63 lei - 20%
Preț: 409.70 lei - 20%
Preț: 398.63 lei - 20%
Preț: 417.95 lei - 20%
Preț: 413.83 lei - 20%
Preț: 412.27 lei - 20%
Preț: 341.08 lei - 20%
Preț: 323.86 lei - 20%
Preț: 342.66 lei - 20%
Preț: 622.59 lei - 20%
Preț: 350.08 lei - 20%
Preț: 342.66 lei - 20%
Preț: 410.19 lei - 20%
Preț: 403.37 lei - 20%
Preț: 404.64 lei - 20%
Preț: 631.77 lei - 20%
Preț: 402.28 lei - 20%
Preț: 402.41 lei - 20%
Preț: 345.64 lei - 20%
Preț: 399.89 lei - 20%
Preț: 399.71 lei - 20%
Preț: 404.46 lei - 20%
Preț: 414.77 lei - 20%
Preț: 399.40 lei - 20%
Preț: 397.82 lei - 20%
Preț: 328.48 lei - 20%
Preț: 344.57 lei - 20%
Preț: 396.39 lei - 20%
Preț: 399.71 lei - 20%
Preț: 398.47 lei - 20%
Preț: 402.90 lei - 20%
Preț: 618.78 lei - 20%
Preț: 398.63 lei - 20%
Preț: 396.39 lei - 20%
Preț: 342.20 lei - 20%
Preț: 407.64 lei - 20%
Preț: 407.01 lei
Preț: 401.78 lei
Preț vechi: 502.22 lei
-20%
Puncte Express: 603
Carte tipărită la comandă
Livrare economică 20 iulie-03 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs 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: 9783540507208
ISBN-10: 3540507205
Pagini: 260
Ilustrații: IX, 246 S.
Dimensiuni: 170 x 244 x 14 mm
Greutate: 0.42 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Informatik-Fachberichte, Subreihe Künstliche Intelligenz
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540507205
Pagini: 260
Ilustrații: IX, 246 S.
Dimensiuni: 170 x 244 x 14 mm
Greutate: 0.42 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Informatik-Fachberichte, Subreihe Künstliche Intelligenz
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Constructibility and Mathematical ExistenceCharles S. Chihara-14%Preț: 324.48 lei377.73 lei -
Conceptual Notation and Related ArticlesGottlob Frege-32%Preț: 766.03 lei1124.79 lei -
-24%Preț: 374.96 lei491.24 lei -
-34%Preț: 653.32 lei992.90 lei -
Automorphisms of First-order StructuresRichard Kaye-33%Preț: 596.09 lei895.18 lei -
Category TheorySteve Awodey-22%Preț: 434.22 lei559.64 lei -
Notes on Set TheoryYiannis MoschovakisPreț: 472.08 lei -
Godel's ProofErnest NagelPreț: 128.52 lei -
Introduction to LogicAlfred TarskiPreț: 80.61 lei -
TopoiRobert Goldblatt-25%Preț: 156.12 lei208.37 lei -
Combinatorial Set Theory: With a Gentle Introduction to ForcingLorenz J. Halbeisen-19%Preț: 557.87 lei688.73 lei -
The Joy of SetsKeith Devlin-15%Preț: 420.01 lei494.14 lei -
Incompleteness in the Land of SetsM. FittingPreț: 219.96 lei -
-18%Preț: 1080.84 lei1318.10 lei -
Lattice Theory: Special Topics and ApplicationsGeorge Grätzer-15%Preț: 631.51 lei742.96 lei -
Duality Theories for Boolean Algebras with OperatorsSteven GivantPreț: 379.92 lei -
The Life and Work of Leon HenkinMaría ManzanoPreț: 383.55 lei -
-15%Preț: 689.64 lei811.34 lei -
Theory of SetsN. BourbakiPreț: 476.32 lei
Public țintă
ResearchCuprins
1 Einleitung.- 1.1 Motivation.- 1.2 Ausdruckskraft kontra Verarbeitung.- 1.3 Aufbau der Arbeit.- 2 Logische Grundbegriffe.- 2.1 Prädikatenlogik.- 2.2 Herbrand-Interpretationen.- 2.3 Resolution.- 2.4 Antwortsubstitutionen.- 2.5 Semantik von Logik-Programmen.- 3 Die deklarativ/prozedural-Kontroverse.- 3.1 PLANNER.- 3.2 CONNIVER.- 3.3 Aktorensysteme.- 3.4 Lehren aus dieser Diskussion.- 4 Logik-Programmierung.- 4.1 SLD-Resolution.- 4.2 PROLOG.- 4.3 FWD-Beweise.- 4.4 Berechenbarkeitsaspekte.- 5 Die Grenzen der Ausdruckskraft.- 5.1 Konstruktivistische Aspekte.- 5.2 Dialogische Logik und Logik-Programmierung.- 5.3 Negation.- 5.4 Resümee.- 6 Reason-Maintenance-Systeme.- 6.1 Grundbegriffe des Reason-Maintenance.- 6.2 Negation und Reason-Maintenance.- 6.3 Multiple Welten: DeKleers ATMS.- 7 Ein vereinheitlichender Ansatz: RISC.- 7.1 Unterstützung von S LD-Resolution.- 7.2 Veränderliche Theorien.- 7.3 Hypothetisches Schließen.- 7.4 Ein Beispiel.- 7.5 Diskussion vergleichbarer Ansätze.- 8 Zusammenfassung und Ausblick.