Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Logic for Programming, Artificial Intelligence, and Reasoning Robert Nieuwenhuis

Logic for Programming, Artificial Intelligence, and Reasoning

8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Autor: Robert Nieuwenhuis, Andrei Voronkov
Język: Angielski
Oprawa: Miękka
Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
422.90 zł
This book constitutes the refereed proceedings of the 8th International Conference on Logic for Prog...

Informacje o książce

Autor
Robert Nieuwenhuis, Andrei Voronkov
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2001
strony
741
EAN
9783540429579
ISBN
3540429573
Enbook ID
01563961
Wydawca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga
2310
Wymiary
155 x 233 x 41

Pełny opis

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions. The book offers topical sections on verification, guarded logic, agents, automated theorem proving, non-classical logics, types, experimental aspects, foundations of logic, CSP and SAT, nonmonotonic reasoning, semantics, termination, knowledge-based systems, analysis of logic programs, databases and knowledge bases, and program analysis and proof planning.

Możesz być zainteresowany

Dopamine in the CNS II

Gaetano Di Chiara
2 320.45 zł

Neurohumoral Regulation of Coronary Flow

W. H. van Gilst
422.90 zł

Optical Fiber Fusion Splicing

A. D. Yablon
1 275.91 zł

Modeling Coastal And Offshore Processes

Phil Dyke
371.08 zł

Towards an Aisthetics of the Victorian Novel

Nadine Bohm-Schnitker
270.46 zł

University of the State of New York Bulletin

Of University of the State of New York
118.40 zł

Manual of General Pathology for Students

Sidney Martin
160.99 zł

KJV My Creative Bible Pink Lux-Leather

Christian Art Gifts
127.64 zł

Life Of William Caxton

William Stevenson
131.72 zł

Blood and Daring: How Canada Fought the American Civil War and Forged a Nation

John Boyko
73.78 zł

Norfolk

W A Dutt
104.89 zł

assessment of Woreda Capactiy

Telaye Fikadu Mulubiran
201.43 zł

Conclog: A Methodological Approach to Concurrent Logic Programming

J.-M. Jacquet
470.25 zł

Structure and Synthesis of PID Controllers

Aniruddha Datta
633.67 zł

Extending Educational Change

Andy Hargreaves
212.13 zł

Klienci, którzy kupili tę książkę, kupili również

Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen

Daniel Werner
157.49 zł

Die Küstencrew (Band 1) - Das Gold der Walfänger

Nathalie Kranich
55.70 zł

Usinage par décharge électrique des composites à matrice métallique en aluminium

Jatinder Kumar
241.10 zł

Tieronisch Eulen (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender

Calvendo
116.56 zł