2 Millionen Bücher heute bestellen und morgen im Press & Books oder k kiosk abholen.
Kontakt Filiale finden
Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets
BuchGebunden
Verkaufsrang522390inEnglish Non Fiction A-Z
CHF193.00

Beschreibung

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
Weitere Beschreibungen

Details

ISBN/GTIN978-0-387-95197-3
ProduktartBuch
EinbandGebunden
Erscheinungsdatum26.06.2001
ReiheMonographs in Computer Science
Seiten409 Seiten
SpracheEnglisch
IllustrationenXVIII, 409 p. 1 illus., schwarz-weiss Illustrationen
Artikel-Nr.20326265
WarengruppeEnglish Non Fiction
DetailwarengruppeEnglish Non Fiction A-Z
Weitere Details

Reihe

Autor