Type d'article
Etat
Reliure
Particularités
Livraison gratuite
Pays
Evaluation du vendeur
Edité par Springer, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Livre
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Edité par Springer, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : Irish Booksellers, Portland, ME, Etats-Unis
Livre
Etat : Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Edité par Springer, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Soft Cover. Etat : new.
Edité par Springer, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Livre
Etat : New.
Edité par Springer, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : New.
Edité par Springer, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Livre impression à la demande
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : New.
Edité par Springer, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Livre
Etat : New. Included among the topics addressed in these proceedings are: logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification, rewriting, practical reasoning, Horn clauses, linear logic, and partial evaluation. Editor(s): Ganzinger, Harald; Voronkov, Andrei; McAllester, David P. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 416 pages, biography. BIC Classification: UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 581. . 1999. 1999th Edition. paperback. . . . .
Edité par Springer Berlin Heidelberg, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR'99. Each of the submissions was reviewed by three program committee members and an electronic program com mittee meeting was held via the Internet. Twenty-three papers were accepted. We would like to thank the many people who have made LPAR'99 possible. We are grateful to the following groups and individuals: to the program committee and the additional referees for reviewing the papers in a very short time, to the organizing committee, and to the local organizers of the INTAS workshop in Tbilisi in April 1994 (Khimuri Rukhaia, Konstantin Pkhakadze, and Gela Chankvetadze). And last but not least, we would like to thank Konstantin - rovin, who maintained the program committee Web page; Uwe Waldmann, who supplied macros for these proceedings and helped us to install some programs for the electronic management of the program committee work; and Bill McCune, who implemented these programs.
Edité par Springer Berlin Heidelberg, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : moluna, Greven, Allemagne
Livre impression à la demande
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR 99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submi.
Edité par Springer, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Livre
Etat : New. Included among the topics addressed in these proceedings are: logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification, rewriting, practical reasoning, Horn clauses, linear logic, and partial evaluation. Editor(s): Ganzinger, Harald; Voronkov, Andrei; McAllester, David P. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 416 pages, biography. BIC Classification: UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 581. . 1999. 1999th Edition. paperback. . . . . Books ship from the US and Ireland.
Edité par Springer 1999-08, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Livre
PF. Etat : New.
Edité par Springer Berlin Heidelberg Aug 1999, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR'99. Each of the submissions was reviewed by three program committee members and an electronic program com mittee meeting was held via the Internet. Twenty-three papers were accepted. We would like to thank the many people who have made LPAR'99 possible. We are grateful to the following groups and individuals: to the program committee and the additional referees for reviewing the papers in a very short time, to the organizing committee, and to the local organizers of the INTAS workshop in Tbilisi in April 1994 (Khimuri Rukhaia, Konstantin Pkhakadze, and Gela Chankvetadze). And last but not least, we would like to thank Konstantin - rovin, who maintained the program committee Web page; Uwe Waldmann, who supplied macros for these proceedings and helped us to install some programs for the electronic management of the program committee work; and Bill McCune, who implemented these programs. 416 pp. Englisch.
Edité par Springer, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : dsmbooks, Liverpool, Royaume-Uni
Livre
Paperback. Etat : Like New. Like New. book.
Edité par Springer, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : As New. Unread book in perfect condition.
Edité par Springer, 1999
ISBN 10 : 3540664920ISBN 13 : 9783540664925
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : As New. Unread book in perfect condition.