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

könyv 9

angol 9

Börger, Egon (1946-) 2 All-Berlin Workshop on Nonclassical Logics and Information Processing1.(1990) (Berlin, Germany) 1 Baaz, Matthias 1 Bundy, Alan 1 CSL (2003) 1 EACSL (2003) 1 többet ... Gabbay, Dov M. (1945-) 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 Temporal Logic (1994) (Bonn, Germany) 1 International Scientific Symposium ()1989) (Hamburg, Germany) 1 KGC (2003) 1 Kirchner, Claude 1 Kirchner, Hélene 1 Kleine Büning, Hans 1 Makowsky, Johann A. (1948-) 1 Ohlbach, Hans Jürgen 1 Pearce, David A. (1952-) 1 Richter, Michael M. (1938-) 1 Shostak, Robert 1 Studer, Rudi 1 Wansing, Heinrich 1 Workshop on Computer Science Logic3.(1989) (Kaiserslautern, Germany) 1 Workshop on Computer Science Logic5.(1991) (Berne, Switzerland) 1 többet mutat ... kevesebbet ...

Congresses konferencia 9 konferenciakötet 9 matematikai logika matematikai logika -- konferencia 9 tanulmányok 9 többet ... Logic, Symbolic and mathematical 8 Logic, Symbolic and mathematical -- Congresses 8 formális logika 8 formális logika -- konferencia 8 Automatic theorem proving 3 Automatic theorem proving -- Congresses 3 automatikus tételbizonyítás (matematikai logika) 3 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 Natural language processing (Computer science) 1 Natural language processing (Computer science) -- Congresses 1 adatfeldolgozás 1 adatfeldolgozás -- elektronikus 1 elektronikus 1 elektronikus adatfeldolgozás 1 többet mutat ... kevesebbet ...