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

könyv 12

angol 12

Asperti, Andrea 1 Bancerek, Grzegorz 1 Bundy, Alan 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 többet ... 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 Kirchner, Claude 1 Kirchner, Hélene 1 Leitsch, Alexander (1952-) 1 Loveland, Donald W. 1 MKM (2004) 1 McRobbie, Michael A. 1 Sandford, David M. 1 Shostak, Robert 1 Siekmann, Jörg H., ed 1 Slaney, John. K 1 Snyers, Dominique (1959-) 1 Thayse, André (1940-) 1 Trybulec, Andrzej 1 Voronkov, Andreĭ (1959-) 1 Wrightson, Graham, ed 1 Zwiers, Job (1956-) 1 többet mutat ... kevesebbet ...

Automatic theorem proving matematikai logika 10 Automatic theorem proving -- Congresses 6 Congresses 6 automatikus tételbizonyítás 6 automatikus tételbizonyítás (matematikai logika) 6 többet ... automatikus tételbizonyítás -- matematikai logika 6 konferenciakötet 6 tanulmányok 6 Logic, Symbolic and mathematical 4 formális logika 4 konferencia 4 Logic, Symbolic and mathematical -- Congresses 3 formális logika -- konferencia 3 matematikai logika -- konferencia 3 Data processing 2 Logic programming 2 Matematika 2 logikai programozás 2 Algorithms (Computer science) 1 Information storage and retrieval systems 1 Information storage and retrieval systems -- Mathematics 1 Logic programming -- Congresses 1 Mathematics -- Data processing 1 Mathematics -- Data processing -- Congresses 1 Parallel processing (Electronic computers) 1 adatfeldolgozás 1 adatfeldolgozás (matematika) 1 algoritmus (számítógépes) 1 logikai programozás -- konferencia 1 többet mutat ... kevesebbet ...