Proceedings of the 5th Annual IEEE Symposium on [title], held in Philadelphia, June 1990. Representative topics include abstract data types, automated deduction, concurrency, constructive mathematics, data base theory, finite model theory, knowledge representation, lambda and combinatory calculi, logical aspects of computational complexity, logics in artificial intelligence, logic programming, modal and temporal logics, program logic and semantics, rewrite rules, software specification, type systems, verification. No subject index. Annotation copyright Book News, Inc. Portland, Or.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Book by European Association for Theoretical Com
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 8,11 per la spedizione in U.S.A.
Destinazione, tempi e costiDa: Robinson Street Books, IOBA, Binghamton, NY, U.S.A.
Paperback. Condizione: Very Good. Prompt Shipment, shipped in Boxes, Tracking PROVIDEDVery good. Clean text. Email for further information. Codice articolo bingx85911797
Quantità: 1 disponibili
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Softcover-Großformat. Condizione: Gut. 509 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Einbandkanten sind leicht bestoßen. Leichte altersbedingte Anbräunung des Papiers. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1250. Codice articolo 1771977
Quantità: 1 disponibili