ELTE összesen 18 IK Kari Könyvtár 18

könyv 18

angol 18

Börger, Egon (1946-) 5 Kleine Büning, Hans 2 Richter, Michael M. (1938-) 2 All-Berlin Workshop on Nonclassical Logics and Information Processing1.(1990) (Berlin, Germany) 1 Baaz, Matthias 1 Bezem, Marc (1956-) 1 többet ... Bradfield, Julian Charles 1 Bundy, Alan 1 CSL (2003) 1 Dalen, Dirk van (1932-) 1 EACSL (2002) 1 EACSL (2003) 1 European Association for Computer Science Logic.Conference(1996 :) (Utrecht, Netherlands)) 1 Gabbay, Dov M. (1945-) 1 Gottlob, Georg 1 Grandjean, Etienne 1 Gurevich, Yur 1 International Conference on Automated Deduction12.(1994) (Nancy, France) 1 International Conference on Automated Deduction15.(1998) (Lindau, Germany) 1 International Conference on Automated Deduction7.(1984) (Napa, California) 1 International Conference on Computer Logic (1998) (Tallinn) 1 International Conference on Temporal Logic (1994) (Bonn, Germany) 1 International Scientific Symposium ()1989) (Hamburg, Germany) 1 KGC (2003) 1 Kirchner, Claude 1 Kirchner, Hélene 1 Konferencia (1990) (Heidelberg) 1 Konferencia (1993) (Swansea) 1 Konferencia (1994) (Kazimierz) 1 Konferencia (1996) (Utrecht) 1 többet mutat ... kevesebbet ...

Congresses konferencia 18 konferenciakötet 18 tanulmányok 18 matematikai logika 9 matematikai logika -- konferencia 9 többet ... számítógépes logika 9 számítógépes logika -- konferencia 9 Logic, Symbolic and mathematical 8 Logic, Symbolic and mathematical -- Congresses 8 formális logika 8 formális logika -- konferencia 8 Theory of computation 7 Theory of computation -- Congresses 7 Automatic theorem proving 3 Automatic theorem proving -- Congresses 3 automatikus tételbizonyítás (matematikai logika) 3 Computer logic 2 Computer logic -- Congresses 2 Artificial intelligence 1 Artificial intelligence -- Congresses 1 Computational aspects 1 Computer programming 1 Computer programming -- Congresses 1 Computer science 1 Computer science -- Congresses 1 Electronic data processing 1 Electronic data processing -- Congresses 1 Mathematical logic 1 Mathematical logic -- Computational aspects -- Congresses 1 többet mutat ... kevesebbet ...