ELTE összesen 253 IK Kari Könyvtár TTK Kari Könyvtár 27 Egyetemi Könyvtár és Levéltár 14 TÁTK Kari Könyvtár 4 TÓK Könyvtár 3 többet ... BTK Közp. Olvasóterem 2 Márton Áron Szakkoll. Kvt. 2 BTK Könyvtár- és Inf.tud. Int. 1 BTK Magyar Nytud. és Finnugor 1 BTK Germanisztikai Int. Kvt. 1 BTK Filozófiai Intézet Kvt. 1 Mednyánszky Dénes Könyvtár és 1 PPK Kari Könyvtár 1 többet mutat ... kevesebbet ...

e-book 116

könyv 252

angol 199 orosz 34 magyar 13 német 7 ógörög 1 francia 1

SpringerLink (Online service), közreadó testület 116 Ers̆ov, Urij Leonidovič (1940-) 5 Adân, Sergej Ivanovič 4 Minc, G. E. 4 Pásztorné Varga Katalin 4 Bolyai János Matematikai Társulat (Budapest) 3 többet ... Ershov, Yu. L 3 European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic) 3 Gil'bert, D. (1862-1943) 3 Hilbert, David (1862-1943) 3 International Conference on Tools and Algorithms for the Construction and Analysis of Systems25.(2019) (Prague, Czech Republic) 3 Kabakov, F. A. 3 Keisler, H. Jerome 3 Novikov, Petr Sergeevič (1901-1975) 3 Tajmanov, A. D. 3 Uspenskij, Vladimir Andreevič 3 Alam, Mehwish, szerk 2 Bernays, Paul 2 Börger, Egon (1946-) 2 CCF Conference on Natural Language Processing and Chinese Computing8.(2019) (Dunhuang, China) 2 Chang, Chen-Chung (1927-) 2 Dragalin, Al'bert Grigor'evič 2 Gastev, Urij Alekseevič 2 Ghidini, Chiara, szerk 2 Harth, Andreas (1976-), szerk 2 Herzig, Andreas, szerk 2 Hitzler, Pascal, szerk 2 International Joint Conference on Automated Reasoning10.(2020) (Paris) 2 International Semantic Web Conference18.(2019) (Auckland, New Zealand) 2 International Work-Conference on Bioinformatics and Biomedical Engineering7.(2019) (Granada, Spain) 2 többet mutat ... kevesebbet ...

matematikai logika elektronikus könyv 116 tanulmányok 113 konferenciakötet 111 Mathematical logic 110 Artificial intelligence 78 többet ... konferencia 72 matematikai logika -- konferencia 71 mesterséges intelligencia 58 Computer logic 48 számítógépes logika 46 Software engineering 45 szoftverfejlesztés 37 Algorithms 30 Logic, Symbolic and mathematical 29 Application software 28 formális logika 28 számítógépes logika -- konferencia 27 Database management 24 adatbáziskezelés 24 informatika 24 programozási nyelvek 24 Computer science—Mathematics 20 Computers 20 Programming languages (Electronic computers) 20 mesterséges intelligencia -- konferencia 18 természetes nyelvek feldolgozása 15 szoftverfejlesztés -- konferencia 14 Computer science 12 Natural language processing (Computer science) 12 többet mutat ... kevesebbet ...