Yazar
Oisterwijk
4 cilt bulundu.
Cilt sonuçları
Automated reasoning with analytic tableaux and related methods
TABLEAUX'98 (1998 Oisterwijk, Netherlands) · Springer
324 sayfa · 1998
Congresses / Artificial intelligence / Automatic theorem proving / Computer science
Relational methods in computer science
RelMICS 2001 (2001 Oisterwijk, Netherlands) · Springer
313 sayfa · 2002
Congresses / Relationism / Computer science / Software engineering / Algebra
Logic, game theory and social choice
International Conference on Logic, Game Theory and Social Choice, LGS '99, Oisterwijk, 1999. · Tilburg University Press
588 sayfa · 1999
Game theory / Logic / Symbolic and mathematical Logic / Congresses / Social choice