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: 2286 CZK
Availability: InStock

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

Autor: Robert Nieuwenhuis, Andrei Voronkov

Jazyk:

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

2 286 Kč

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

Informace o knize

Autor

Robert Nieuwenhuis, Andrei Voronkov

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2001

Stránek

741

EAN

9783540429579

ISBN

3540429573

Enbook ID

01563961

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

2310

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Logic for Programming, Artificial Intelligence, and Reasoning

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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ákaznicí kteří koupili tuto knihu koupili také

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