Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Codice articolo UT1572730

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Computational Aspects of an Order-Sorted ...

Casa editrice: Springer

Data di pubblicazione: 1989

Legatura: Paperback

Condizione: Very Good

Descrizione articolo

Contenuti:

Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

GuthrieBooks
TX, U.S.A.

Condizioni di vendita:

At this time we accept payment through Visa or Mastercard.

Condizioni di spedizione:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata

Articoli correlati a Computational Aspects of an Order-Sorted Logic with...

Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science)

Schmidt-Schau??, Manfred

Usato - Brossura

Informazioni sull?azienda del venditore