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: 553.26 RON
Availability: InStock

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

Autor: Robert Nieuwenhuis, Andrei Voronkov

Limbă:

Legare: Carte broșată

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

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

553.26 lei

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

Informații despre carte

Autor

Robert Nieuwenhuis, Andrei Voronkov

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2001

Pagini

741

EAN

9783540429579

ISBN

3540429573

Enbook ID

01563961

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

2310

Dimensiuni

155 x 233 x 41

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Logic for Programming, Artificial Intelligence, and Reasoning

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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

Clienții care au cumpărat această carte au mai cumpărat și

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