Articoli correlati a Algebras, Diagrams and Decisions in Language, Logic...

Algebras, Diagrams and Decisions in Language, Logic and Computation - Rilegato

 
9781575863719: Algebras, Diagrams and Decisions in Language, Logic and Computation

Sinossi

This exemplary volume shows how the shared interests of three different research areas can lead to significant and fruitful exchanges: six papers each very accessibly present an exciting contribution to the study and uses of algebras, diagrams, and decisions, ranging from indispensable overview papers about shared formal members to inspirational applications of formal tools to specific problems. Contributors include Pieter Adriaans, Sergei Artemov, Steven Givant, Edward Keenan, Almerindo Ojeda, Patrick Scotto di Luzio, and Edward Stabler.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: molto buono
First Edition. A few library markings...
Visualizza questo articolo

EUR 29,08 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9781575863726: Algebras, Diagrams and Decisions in Language, Logic and Computation

Edizione in evidenza

ISBN 10:  1575863723 ISBN 13:  9781575863726
Casa editrice: Stanford Univ Center for the Study, 2002
Brossura

Risultati della ricerca per Algebras, Diagrams and Decisions in Language, Logic...

Foto dell'editore

Center For The Study Of Language And Information (U. S.)
ISBN 10: 1575863715 ISBN 13: 9781575863719
Antico o usato Rilegato

Da: Orca Knowledge Systems, Inc., Novato, CA, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Very Good. First Edition. A few library markings, no library wear. No DJ. Binding is tight, text clean. This volume shows how the shared interests of three different research areas can lead to significant exchanges: six papers present an exciting contribution to the study and uses of algebras, diagrams, and decisions, ranging from indispensable overview papers about shared formal members to inspirational applications of formal tools to specific problems. Contributors include Pieter Adriaans, Sergei Artemov, Steven Givant, Edward Keenan, Almerindo Ojeda, Patrick Scotto di Luzio, and Edward Stabler. Codice articolo 3000110

Contatta il venditore

Compra usato

EUR 27,48
Convertire valuta
Spese di spedizione: EUR 29,08
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello