Verwandte Artikel zu Automated Deduction - Cade-13: 13th International Conference...
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings: 1104 (Lecture Notes in Artificial Intelligence) - Softcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
Hard to find
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor:
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum1996
- ISBN 10 3540615113
- ISBN 13 9783540615118
- EinbandTapa blanda
- Anzahl der Seiten788
- HerausgeberMcRobbie Michael A., Slaney J.K.
Neu kaufen
Mehr zu diesem Angebot erfahren
EUR 70,98
Versand:
EUR 4,59
Innerhalb der USA
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1104)
Anbieter:
Bewertung
Buchbeschreibung Soft cover. Zustand: New. FAST SHIPS FROM USA. Bestandsnummer des Verkäufers 100D2-107C4-PB-3540615113-2P4
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 70,98
Währung umrechnen
Foto des Verkäufers
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (Lecture Notes in Computer Science) [Paperback ]
Anbieter:
Bewertung
Buchbeschreibung Soft Cover. Zustand: new. Bestandsnummer des Verkäufers 9783540615118
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 102,31
Währung umrechnen
Beispielbild für diese ISBN
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1104)
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020172323
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 110,91
Währung umrechnen
Foto des Verkäufers
Automated Deduction, Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers 12913322-n
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 112,18
Währung umrechnen
Beispielbild für diese ISBN
Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings
Anbieter:
Bewertung
Buchbeschreibung Paperback. Zustand: Brand New. 1st edition. 764 pages. 9.30x6.10x1.60 inches. In Stock. Bestandsnummer des Verkäufers x-3540615113
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 142,41
Währung umrechnen
Beispielbild für diese ISBN
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers V9783540615118
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 144,21
Währung umrechnen
Beispielbild für diese ISBN
Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction; New Brunswick; NJ; USA; July 30 - August 3; 1996. Proceedings
Print-on-Demand
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9783540615118_lsuk
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 146,25
Währung umrechnen
Foto des Verkäufers
Automated Deduction, Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers 12913322-n
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 146,23
Währung umrechnen
Foto des Verkäufers
Automated Deduction CADE-13
Verlag:
Springer Berlin Heidelberg
(1996)
ISBN 10: 3540615113
ISBN 13: 9783540615118
Neu
Kartoniert / Broschiert
Anzahl: > 20
Anbieter:
Bewertung
Buchbeschreibung Kartoniert / Broschiert. Zustand: New. This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC 96.The volume presents 46 revised regular papers selected from a to. Bestandsnummer des Verkäufers 4895637
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 128,46
Währung umrechnen
Beispielbild für diese ISBN
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers V9783540615118
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 178,05
Währung umrechnen