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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
39 469 Ft
This book constitutes the refereed proceedings of the 11th International Conference on Logic for Pro...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2005
oldal
560
EAN
9783540252368
ISBN
3540252363
Enbook ID
01560435
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
12 070 Ft

Grandpa Lee's Stories

Helen Najera Reyes
6 633 Ft

Savage Legion

Matt Wallace
5 552 Ft
14 823 Ft
14 897 Ft
12 373 Ft
11 312 Ft

Open University

Daniel Weinbren
35 493 Ft
67 268 Ft
30 957 Ft
8 747 Ft

Engineering of Sport 6

Eckehard Moritz
59 146 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

Alberi

Lemniscates
5 511 Ft
9 505 Ft

Krizová intervence

Daniela Vodáčková
8 352 Ft
6 720 Ft

Entkrümmt

Stefan Schlager
5 378 Ft
4 504 Ft