Computational Aspects of an Order-Sorted Logic with Term Declarations

Schmidt-Schau, Manfred

ISBN 10: 3540517057 ISBN 13: 9783540517054

Verlag: Springer 1989-09, 1989

Sprache: Englisch

Neu Zustand: New Softcover

F�r sp�ter vormerken

Verkauft von Chiron Media, Wallingford, Vereinigtes K�nigreich

AbeBooks-Verk�ufer seit 2. August 2010

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Softcover

Zustand: New

Preis: EUR 38,12 W�hrung umrechnen

EUR 15,05 f�r den Versand von Vereinigtes K�nigreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 10 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Bestandsnummer des Verk�ufers 6666-IUK-9783540517054

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Computational Aspects of an Order-Sorted Logic with Term Declarations
Verlag: Springer 1989-09
Ver�ffentlichungsdatum: 1989
Sprache: Englisch
ISBN-10: 3540517057
ISBN-13: 9783540517054
Bindung: PF
Zustand: New

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

WRAP Ltd
Unit 4, 119 Loverock Rd, Reading, RG30 1DZ, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

TBA

Versandbedingungen

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.

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen