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

könyv 11

angol 11

Voronkov, Andreĭ (1959-) 2 Wada, Eiiti 2 APN (1993) 1 Bauer, Friedrich Ludwig (1924-) 1 Brewka, Gerhard 1 Bruynooghe, Maurice 1 többet ... Dahl, Veronica (1950-) 1 Dix, Jürgen (1961-) 1 International Conference on Algebraic and Logic Programming2.(1990) (Nancy, France) 1 International Conference on Logic Programming and Automated Reasoning (1992) (Saint Petersburg, Russia) 1 International Symposium on Programming Language Implementation and Logic Programming5.(1993) (Tallinn, Estonia) 1 International Workshop on Natural Language Understanding and Logic Programming1.(1984) (Rennes, France) 1 International Workshop on Nonmonotonic and Inductive Inference1.(1990) (University of Karlsruhe) 1 International Workshop on Nonmonotonic and Inductive Logic2.(1991) (Reinhardsbrunn Castle, Germany) 1 Jantke, Klaus Peter (1951-) 1 Kirchner, Hélene 1 NATO Advanced Study Institute on Logic, Algebra, and Computation (1989) (Marktoberdorf, Germany) 1 Penjam, Jaan (1955-) 1 Rozenberg, Grzegorz 1 Russian Conference on Logic Programming1.(1990) (Irkutsk, Russia) 1 Russian Conference on Logic Programming2.(1991) (Saint Petersburg, Russia) 1 Saint-Dizier, Partick 1 Schmitt, Peter H. 1 Wechler, Wolfgang 1 többet mutat ... kevesebbet ...

Congresses Logic programming 11 Logic programming -- Congresses konferencia 11 konferenciakötet 11 logikai programozás 11 többet ... logikai programozás -- konferencia 11 tanulmányok 11 Artificial intelligence 2 Artificial intelligence -- Congresses 2 mesterséges intelligencia 2 mesterséges intelligencia -- konferencia 2 Algebraic logic 1 Algebraic logic -- Congresses 1 Automatic theorem proving 1 Automatic theorem proving -- Congresses 1 Computational complexity 1 Computational complexity -- Congresses 1 Programming languages 1 Programming languages -- Congresses 1 algebrai 1 algebrai logika 1 automatikus tételbizonyítás (matematikai logika) 1 logika 1 logika -- algebrai 1 programozási nyelvek 1 programozási nyelvek -- konferencia 1 számítási bonyolultság 1 számítási bonyolultság -- konferencia 1 többet mutat ... kevesebbet ...