Computational aspects of an order-sorted logic with term declarations.

Schmidt-Schauss, Manfred.

ISBN 10: 3540517057 ISBN 13: 9783540517054
Editore: Springer, 1989
Lingua: Inglese
Condizione: Usato - Molto buono Brossura

Venduto da Kloof Booksellers & Scientia Verlag, Amsterdam, Paesi Bassi

Membro dell'associazione:

Heritage Bookseller
Venditore AbeBooks dal 7 ottobre 1999

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Usato - Brossura

Condizione: Usato - Molto buono

Prezzo:
EUR 15,95
Spedizione EUR 30,00
Spedito da Paesi Bassi a U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello