13 Universitas Indonesia

13 Repository Disertasi (Membership) Universitas Indonesia 13 Repository Disertasi (Open) Universitas Indonesia 13 Repository Skripsi (Membership) Universitas Indonesia 13 Repository Skripsi (open) Universitas Indonesia 13 Repository Tugas Akhir Universitas Indonesia 13 contoh Repository Tesis (Open) Universitas Indonesia

13 Book Book 13 13 Thesis Bachelors 13

Computer logic -- Congresses 4 Computer science -- Mathematics -- Congresses 2 Artificial intelligence -- Congresses 2 Language and logic -- Congresses 1 Automatic theorem proving -- Congresses 1 Computational linguistics -- Congresses more ... 1 Computer science -- Congresses 1 Deontic logic -- Congresses 1 Formal methods (computer science) -- Congresses 1 Logic 1 Logic programming -- Congresses 1 Multiagent systems -- Congresses 1 Reversible computing -- Congresses 1 Semantics -- Congresses 1 symbolic and mathematical -- Congresses less ...

1 Bernhard Gramlich, editor 1 Daniel Lassiter, editor 1 Denis Bechet, editor 1 Franciso Duran, editor 1 Luke Ong, editor 1 Maria Aloni, editor more ... 1 Michael J. Dinneen, editor 1 Nick Bezhanishvili, editor 1 Nikolaj Bjorne, editor 1 Peter McBurney, editor 1 Sanjay Modgil, editor 1 Thomas Agotnes, editor 1 Vos, Alexis De, editor less ...

13 2012

8 [Springer-Verlag, ] 4 [, Springer-Verlag] 1 Spinger-Verlag