Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Logic for Programming, Artificial Intelligence, and Reasoning Franz Baader

Logic for Programming, Artificial Intelligence, and Reasoning

11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Szerző: Franz Baader, 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 11th International Conference on Logic for Pro...

Információk a könyvről

Szerző
Franz Baader, Andrei Voronkov
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2005
oldal
560
EAN
9783540252368
ISBN
3540252363
Enbook ID
01560435
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
973
Méretek
155 x 235 x 36

Teljes leírás

This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005.§The 33 revised full papers presented together with abstracts of 4 invited papers were carefully reviewed and selected from 77 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, fuzzy logic, linear logic, multi-modal logic, proof theory, formal verification, protocol verification, constraint logic programming, programming calculi, theorem proving, etc.

Érdekelheti

Oneida Iroquois

Anthony Wonderley
10 137 Ft

Dielectric Materials for Electrical Engineering

Juan Martinez-Vega
85 186 Ft

Savage Legion

Matt Wallace
5 416 Ft

Grandpa Lee's Stories

Helen Najera Reyes
6 469 Ft

Letters from a Stoic

Seneca
14 458 Ft

Organized Crime, Fear and Peacebuilding in Mexico

Mauricio Meschoulam
21 851 Ft

Footprints of the Apostles, as traced by Saint Luke in the Acts

Herbert Mortimer Luckock
9 083 Ft

Ten Lectures on Cognitive Linguistics and the Unification of Spoken and Signed Languages

Sherman Wilcox
52 732 Ft

Performance of Over-Head Transmission Line Insulators Under Polluted Condition

Ahmed El-Tayeb Khalil
25 092 Ft

Robert Elsmere, Volume 2

Humphry Ward
14 530 Ft

Up and Running with ClickHouse

Vijay Anand R
12 069 Ft

Radical Radiance: 12 Weeks of Self-Love Rituals to Manifest Abundance, Beauty, and Joy

Kim
9 424 Ft

Epistles of St. Paul to the Thessalonians, Galatians, Romans

Prof Benjamin Jowett
14 530 Ft

Cosmic Explosions

EDO Berger
11 033 Ft

Open University

Daniel Weinbren
34 619 Ft

Central Asia in World History

Peter B. Golden
45 948 Ft

From the Workshop of the Chicago Assyrian Dictionary

M T Roth
16 220 Ft

Chaos, Fractals, and Noise, 1

Andrzej Lasota
30 194 Ft

Fairy Tale of My Life

H C Andersen
8 532 Ft

Engineering of Sport 6

Eckehard Moritz
57 690 Ft

Early Romanticism and Religious Dissent

Daniel E. White
19 233 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

MIKADO - 2022

5 102 Ft

Alberi

Lemniscates
5 402 Ft

QUINTET B FLAT MAJOR CLARINETTE-PARTITION+PARTIES SEPAREES

DIETER SCHNEBEL
27 993 Ft

PORTRAITS LITTERAIRES

De Quincey
9 338 Ft

Nathan et les Territoires maudits

Enza
5 075 Ft

misura della felicità. Il '700 eclettico di Francesco Maria Zanotti

Alberto Panighetti
13 293 Ft

Medical Food, 1 Audio-CD, MP3

Anthony William
6 554 Ft

Entkrümmt

Stefan Schlager
5 259 Ft

Das Moment der Gefahr als Element der Schadenszurechnung im System des Haftpflichtrechts

Thomas Tschaler
27 070 Ft

Historia de la bicicleta de un hombre lagarto

FINA CASALDERREY
4 093 Ft

Une Drole De Saint-Valentin!

Chloe Lapierre
4 479 Ft

Les religieuses bouddhistes, depuis Sakya-Mouni jusqu'a nos jours

Summer-M
5 756 Ft

55 Spiele für den Kindergeburtstag

Arno Backhaus
2 614 Ft

Ansatze zur Erklarung des Unterganges von Organisationen

Burak Gümüs
6 084 Ft