Articles liés à Logic for Programming, Artificial Intelligence, and...
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings - Couverture souple
Synopsis
ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22-26,2003, inAlmaty, Kazakhstan, togetherwiththeFourth International Workshop on Implementation of Logics. There were 65 submissions, of which 8 belonged to the special submission category of experimental papers, intended to describe implementations or c- parisons of systems, or experiments with systems. Each submission was reviewed by at least three program committee members and an electronic program c- mitteemeetingwasheldviatheInternet.Weareverygratefultothe32program committee members for their e?orts and for the quality of their reviews and d- cussions. Finally, the committee decided to accept 27 papers. The program also included ?ve invited talks, by Franz Baader, Serikzhan Badaev, Dexter Kozen, Sergei Goncharov, and Thomas Wilke. Apart from the program committee, we would also like to thank the other people who have made LPAR 2003 possible: the external reviewers and the local organizers Serikzhan Badaev and Anna Romina. The Internet-based submission software and the program-committee disc- sion software were provided by the second co-chair.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 53,92
EUR 2,26 expédition vers Etats-Unis
Destinations, frais et délaisRésultats de recherche pour Logic for Programming, Artificial Intelligence, and...
Image d'archives
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, . / Lecture Notes in Artificial Intelligence)
Edité par
Springer, 2003
ISBN 10 : 3540201017
ISBN 13 : 9783540201014
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N° de réf. du vendeur DA1412281
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1999717-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... (Lecture Notes in Computer Science, 2850)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020162375
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic for Programming, Artificial Intelligence, and Reasoning (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2003
ISBN 10 : 3540201017
ISBN 13 : 9783540201014
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction. This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003. The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783540201014
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings
Edité par
Springer, 2003
ISBN 10 : 3540201017
ISBN 13 : 9783540201014
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 1999717
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... (Lecture Notes in Computer Science, 2850)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783540201014
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... (Lecture Notes in Computer Science, 2850)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540201014_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, P
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540201014
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1999717-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic for Programming, Artificial Intelligence, and Reasoning
Edité par
Springer Berlin Heidelberg Sep 2003, 2003
ISBN 10 : 3540201017
ISBN 13 : 9783540201014
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22 26,2003,inAlmaty,Kazakhstan,togetherwiththeFourth International Workshop on Implementation of Logics. There were 65 submissions, of which 8 belonged to the special submission category of experimental papers, intended to describe implementations or c- parisons of systems, or experiments with systems. Each submission was reviewed by at least three program committee members and an electronic program c- mitteemeetingwasheldviatheInternet.Weareverygratefultothe32program committee members for their e orts and for the quality of their reviews and d- cussions. Finally, the committee decided to accept 27 papers. The program also included ve invited talks, by Franz Baader, Serikzhan Badaev, Dexter Kozen, Sergei Goncharov, and Thomas Wilke. Apart from the program committee, we would also like to thank the other people who have made LPAR 2003 possible: the external reviewers and the local organizers Serikzhan Badaev and Anna Romina. The Internet-based submission software and the program-committee disc- sion software were provided by the second co-chair. 456 pp. Englisch. N° de réf. du vendeur 9783540201014
Quantité disponible : 2 disponible(s)