Verwandte Artikel zu Frontiers of Combining Systems: 6th International Symposium,...
Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings: 4720 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gebraucht kaufen
Zustand: BefriedigendBefriedigend/Good: Durchschnittlich...
Diesen Artikel anzeigen
EUR 3,75
EUR 45,00 für den Versand von Deutschland nach USA
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 17,64
EUR 7,49 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerSuchergebnisse für Frontiers of Combining Systems: 6th International Symposium,...
Beispielbild für diese ISBN
Frontiers of Combining Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 298 Illus. Artikel-Nr. 7546845
Anzahl: 4 verfügbar
Internationale Ausgabe
Frontiers Of Combining Systems (Pb)
Internationale AusgabeAnbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide. Artikel-Nr. ABNR-78760
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 1
Anbieter: medimops, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Artikel-Nr. M0354074620X-G
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings (Lecture Notes in Computer Science, 4720)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540746201_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Frontiers of Combining Systems: 6th International Symposium, Frocos 2007, Liverpool, Uk, September 10-12, 2007. Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 1st edition. 283 pages. 9.00x6.00x0.75 inches. In Stock. Artikel-Nr. x-354074620X
Anzahl: 2 verfügbar
Foto des Verkäufers
Frontiers of Combining Systems
ISBN 10: 354074620X
ISBN 13: 9783540746201
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch. Artikel-Nr. 9783540746201
Anzahl: 2 verfügbar
Foto des Verkäufers
Frontiers of Combining Systems : 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems. Artikel-Nr. 9783540746201
Anzahl: 1 verfügbar