Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Schmidt-Schauß, Manfred
ISBN 10:
3540517057 ISBN 13:
9783540517054
Edité par Springer, 1989
Langue: anglais
Neuf(s)
Etat : New
Couverture souple
Vendu par Ria Christie Collections, Uxbridge, Royaume-Uni
Vendeur AbeBooks depuis 25 mars 2015
Neuf(s) - Couverture souple
Etat : New
Prix:
EUR 44,44
Autre devise
EUR 4,62
expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Quantité disponible : Plus de 20 disponibles
Ajouter au panier