Megjelenítés:
1 - 3
/
3
- kulcsszavak: '
'
Skip to content
Előző online katalógus
Gimikatalógus
Saját polc
Kijelentkezés
Bejelentkezés
English
magyar
A könyvtárakban
Külső adatbázisokban
EBSCO adatbázisokban
Egyéb adatbázisokban
Bármely mező
Cím
Szerző
Tárgyszó
ISBN/ISSN
Címke
Böngészés betűrendben: Témakör szerint
Böngészés betűrendben: Szerző szerint
Böngészés betűrendben: Cím szerint
Bármely mező
Cím
Szerző
Tárgyszó
Bármely mező
Cím
Szerző
Tárgyszó
Folyóirat címe
Bármely mező
Cím
Szerző
Tárgyszó
Jelzet
ISBN/ISSN
Címke
Keresés
Összetett
Böngészés
Szűrők törlése
Tárgyszó:
Congresses
Lelőhely:
ELTE összesen
Szerző:
Voronkov, Andreĭ (1959-)
Szűrők törlése
Szűrők megjelenítése (3)
Tárgyszó:
Congresses
Lelőhely:
ELTE összesen
Szerző:
Voronkov, Andreĭ (1959-)
Keresés:
Megjelenítés:
1 - 3
/
3
- kulcsszavak: '
'
, keresési idő: 0.01mp
Találatok szűrése
Rendezés
Relevancia szerint csökkenő
Megjelenési év szerint csökkenő
Megjelenési év szerint növekvő
Jelzet szerint növekvő
Szerző szerint növekvő
Szerző szerint csökkenő
Cím szerint növekvő
Cím szerint csökkenő
1
Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 2002 : Proceedings
Megjelenés: 2002
Jelzet:
í829
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia,...
Megjelenés: 1992
Jelzet:
8799
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
Logic programming and automated reasoning : International conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
Megjelenés: 1992
Jelzet:
8820
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
Keresőeszközök:
RSS-hírfolyam
—
Keresés küldése emailben
—
Keresés mentése
Vissza
Keresés szűkítése
Lelőhely
ELTE összesen
IK Kari Könyvtár
3
Különgyűjtemény
Nincs elérhető adat
Formátum
könyv
3
Nyelv
angol
3
Szerző
Voronkov, Andreĭ (1959-)
Baaz, Matthias
1
International Conference on Logic Programming and Automated Reasoning (1992) (Saint Petersburg, Russia)
1
LPAR (2002)
1
Russian Conference on Logic Programming1.(1990) (Irkutsk, Russia)
1
Russian Conference on Logic Programming2.(1991) (Saint Petersburg, Russia)
1
Tárgyszó
Congresses
konferencia
3
konferenciakötet
3
tanulmányok
3
Logic programming
2
Logic programming -- Congresses
2
többet ...
logikai programozás
2
logikai programozás -- konferencia
2
Automatic theorem proving
1
Automatic theorem proving -- Congresses
1
Computing methodologies
1
Computing methodologies -- Congresses
1
automatikus tételbizonyítás (matematikai logika)
1
mesterséges intelligencia
1
mesterséges intelligencia -- konferencia
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...