Relational Methods in Computer Science
6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Harrie C.M. de Swart
Themen in »Relational Methods in Computer Science«
Cylindric Algebras Fork Algebras Grammar Systems Lattices Mathematical Logic Relational Algebras Relational Methods Relational Proof Theory Relational Semantics Relational Software Design Relations artificial intelligence computer computer science knowledge
Stimmen zu »Relational Methods in Computer Science«
Details
ISBN: 9783540362807
Verlag: Springer Berlin
Erscheinung: 01.07.2003