ELTE összesen 12 IK Kari Könyvtár 12 Egyetemi Könyvtár és Levéltár 2

e-book 10

könyv 12

angol 12

SpringerLink (Online service), közreadó testület 10 Schlechta, Karl 2 Antoniou, Grigoris (1961-) 1 Börger, Egon (1946-) 1 Cantone, Domenico 1 Ferguson, Thomas Macaulay, szerző 1 többet ... IFIP WG 1.3 International Workshop on Algebraic Development Techniques23.(2017) (Gregynog, UK) 1 International Conference on Verified Software: Theories, Tools, and Experiments9.(2017) (Heidelberg, Germany) 1 James, Phillip, szerk 1 Kennedy, Juliette, szerk 1 Kleine Büning, Hans 1 Li, Zheng, szerk 1 National Software Application Conference16.(2017) (Harbin, China) 1 National Software Application Conference17.(2018) (Shenzhen, China) 1 Pacuit, Eric 1 Paskevich, Andrei, szerk 1 Platzer, André 1 Queiroz, Ruy J. G. B. de, szerk.(1958-) 1 Richter, Michael M. (1938-) 1 Roggenbach, Markus, szerk 1 Sperschneider, Volker (1952-) 1 Ursino, Pietro, Tft 1 Wies, Thomas, szerk 1 Workshop on Computer Science Logic3.(1989) (Kaiserslautern, Germany) 1 Workshop on Logic, Language, Information and Communication24.(2017) (London, UK) 1 többet mutat ... kevesebbet ...

Computer science matematikai logika elektronikus könyv 10 Artificial intelligence 7 Logic, Symbolic and mathematical 7 formális logika 7 többet ... konferencia 5 konferenciakötet 5 tanulmányok 5 Logic 4 Philosophy 4 matematikai logika -- konferencia 4 Mathematical Logic and Formal Languages 3 Mathematical logic 3 Software engineering 3 formális logika -- konferencia 3 logika 3 mesterséges intelligencia 3 szimbolikus logika 3 Artificial Intelligence (incl. Robotics) 2 Computer science -- Mathematics 2 Computer simulation 2 Logic design 2 Matematika 2 Programming Languages, Compilers, Interpreters 2 Science 2 Science -- Philosophy 2 Simulation and Modeling 2 Software Engineering 2 formális logika -- tankönyv 2 többet mutat ... kevesebbet ...