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

könyv 17

angol 17

Börger, Egon (1946-) 2 Aagaard, Mark 1 All-Berlin Workshop on Nonclassical Logics and Information Processing1.(1990) (Berlin, Germany) 1 Asperti, Andrea 1 Baaz, Matthias 1 Bancerek, Grzegorz 1 többet ... Bertot, Yves, Tft 1 Boulton, Richard J. 1 Bundy, Alan 1 CSL (2003) 1 Carreno, Victor A. 1 EACSL (2003) 1 Gabbay, Dov M. (1945-) 1 Grundy, Jim 1 Harrison, John 1 International Conference on Automated Deduction12.(1994) (Nancy, France) 1 International Conference on Automated Deduction13.(1996) (New Brunswick, USA) 1 International Conference on Automated Deduction15.(1998) (Lindau, Germany) 1 International Conference on Automated Deduction7.(1984) (Napa, California) 1 International Conference on Logic Programming and Automated Reasoning (1992) (Saint Petersburg, Russia) 1 International Conference on Mathematical Knowledge Management3.(2004) (Bialowieza, Poland) 1 International Conference on Temporal Logic (1994) (Bonn, Germany) 1 International Scientific Symposium ()1989) (Hamburg, Germany) 1 Jackson, Paul B. (1962-) 1 KGC (2003) 1 Kirchner, Claude 1 Kirchner, Hélene 1 Kleine Büning, Hans 1 Konferencia (1998) (Canberra) 1 Konferencia (2002) (Hampton) 1 többet mutat ... kevesebbet ...

Congresses konferenciakötet 17 tanulmányok 17 automatikus tételbizonyítás (matematikai logika) 11 konferencia 10 matematikai logika 10 többet ... Logic, Symbolic and mathematical 9 formális logika 9 matematikai logika -- konferencia 9 Logic, Symbolic and mathematical -- Congresses 8 formális logika -- konferencia 8 Automatic theorem proving 6 Automatic theorem proving -- Congresses 6 Theory of computation 5 Theory of computation -- Congresses 5 Artificial intelligence 1 Artificial intelligence -- Congresses 1 Computational aspects 1 Computer programming 1 Computer programming -- Congresses 1 Computer science 1 Computer science -- Congresses 1 Data processing 1 Electronic data processing 1 Electronic data processing -- Congresses 1 Information storage and retrieval systems 1 Information storage and retrieval systems -- Mathematics 1 Logic programming 1 Logic programming -- Congresses 1 Mathematical logic 1 többet mutat ... kevesebbet ...