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: 552.42 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

552.42 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

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