Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv 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

Szerző: Robert Nieuwenhuis, Andrei Voronkov
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
38 497 Ft
This book constitutes the refereed proceedings of the 8th International Conference on Logic for Prog...

Információk a könyvről

Szerző
Robert Nieuwenhuis, Andrei Voronkov
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2001
oldal
741
EAN
9783540429579
ISBN
3540429573
Enbook ID
01563961
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
2310
Méretek
155 x 233 x 41

Teljes leírás

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.

Érdekelheti

Dopamine in the CNS II

Gaetano Di Chiara
211 244 Ft

Neurohumoral Regulation of Coronary Flow

W. H. van Gilst
38 497 Ft

Optical Fiber Fusion Splicing

A. D. Yablon
118 155 Ft

Modeling Coastal And Offshore Processes

Phil Dyke
33 566 Ft

Towards an Aisthetics of the Victorian Novel

Nadine Bohm-Schnitker
24 268 Ft

University of the State of New York Bulletin

Of University of the State of New York
10 903 Ft

Manual of General Pathology for Students

Sidney Martin
14 530 Ft

KJV My Creative Bible Pink Lux-Leather

Christian Art Gifts
11 741 Ft

Life Of William Caxton

William Stevenson
11 872 Ft

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

John Boyko
6 752 Ft

Norfolk

W A Dutt
9 711 Ft

assessment of Woreda Capactiy

Telaye Fikadu Mulubiran
18 453 Ft

Conclog: A Methodological Approach to Concurrent Logic Programming

J.-M. Jacquet
40 448 Ft

Structure and Synthesis of PID Controllers

Aniruddha Datta
57 690 Ft

Extending Educational Change

Andy Hargreaves
19 305 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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

Daniel Werner
14 431 Ft

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

Nathalie Kranich
5 088 Ft

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

Jatinder Kumar
22 093 Ft

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

Calvendo
10 674 Ft