Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540429579
Price: 100.0 EUR
Availability: InStock

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

Autor: Robert Nieuwenhuis, Andrei Voronkov

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

100.00 €

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Prog...

Informácie o knihe

Autor

Robert Nieuwenhuis, Andrei Voronkov

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2001

Stránok

741

EAN

9783540429579

ISBN

3540429573

Enbook ID

01563961

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

2310

Rozmery

155 x 233 x 41

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Logic for Programming, Artificial Intelligence, and Reasoning

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Dopamine in the CNS II

Neurohumoral Regulation of Coronary Flow

Optical Fiber Fusion Splicing

Modeling Coastal And Offshore Processes

Towards an Aisthetics of the Victorian Novel

University of the State of New York Bulletin

Manual of General Pathology for Students

KJV My Creative Bible Pink Lux-Leather

Life Of William Caxton

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

Norfolk

assessment of Woreda Capactiy

Conclog: A Methodological Approach to Concurrent Logic Programming

Structure and Synthesis of PID Controllers

Extending Educational Change

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

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

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

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

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