Articles liés à Advances in Logic Programming and Automated Reasoning...

Advances in Logic Programming and Automated Reasoning (1) - Couverture rigide

 
9780893916831: Advances in Logic Programming and Automated Reasoning (1)
Couverture rigide
ISBN 10 : 0893916838 ISBN 13 : 9780893916831
Editeur : Intellect Books, 1992

Synopsis

This series reviews research contributions in logic programming and automated reasoning and is desinged to stimulate and sustain new, productive lines of investigation into symbolic and algebraic computing techniques as they relate to logic programming and automate reasoning. Topics covered include equational reasoning, parallel programming in logic, term rewriting systems, control of logic programs, completion procedures, unification and matching algorithms, design and implementation of deduction systems, logical methods of knowledge representation, logic-based inference techniques, and programs synthesis and verification.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurIntellect Books
  • Date d'édition1992
  • ISBN 10 0893916838
  • ISBN 13 9780893916831
  • ReliureRelié
  • Langueanglais
  • Nombre de pages200
  • ÉditeurWilkerson Ralph W.
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Comme neuf
Appears unread. May have a retail...
Afficher cet article
9780893916831: Advances in Logic Programming and Automated Reasoning (1)
EUR 30,26

Autre devise

EUR 8,90 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9780893918415: Advances in Logic Programming and Automated Reasoning (2)

Edition présentée

ISBN 10 :  0893918415 ISBN 13 :  9780893918415
Editeur : Ablex Pub, 1996
Couverture rigide

Résultats de recherche pour Advances in Logic Programming and Automated Reasoning...

Image d'archives

Edité par Intellect Ltd, 1992
ISBN 10 : 0893916838 ISBN 13 : 9780893916831
Ancien ou d'occasion Couverture rigide

Vendeur : PAPER CAVALIER US, Brooklyn, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : as new. Appears unread. May have a retail sticker on back cover or remainder mark on the text block. N° de réf. du vendeur 9780893916831-2

Contacter le vendeur

Acheter D'occasion

EUR 30,26
Autre devise
Frais de port : EUR 8,90
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Ralph W. Wilkerson
Edité par Intellect Ltd, 1992
ISBN 10 : 0893916838 ISBN 13 : 9780893916831
Ancien ou d'occasion Couverture rigide

Vendeur : Wonder Book, Frederick, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Good. Good condition. Volume 1. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains. N° de réf. du vendeur R05OS-00596

Contacter le vendeur

Acheter D'occasion

EUR 27,45
Autre devise
Frais de port : EUR 22,26
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier