Megjelenítés:
1 - 7
/
7
- 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
Lelőhely:
IK Kari Könyvtár
Tárgyszó:
Computing methodologies -- Congresses
AND
mesterséges intelligencia -- konferencia
Szűrők törlése
Szűrők megjelenítése (3)
Lelőhely:
IK Kari Könyvtár
Tárgyszó:
Computing methodologies -- Congresses
AND
mesterséges intelligencia -- konferencia
Keresés:
Megjelenítés:
1 - 7
/
7
- 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
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July/August 2002 : Proceedings
Megjelenés: 2002
Jelzet:
í824
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Automated reasoning with analytic Tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003 : Proceedings
Megjelenés: 2003
Jelzet:
í 1766
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
Computer program synthesis methodologies : Proceedings of the NATO Advanced Study Institute, held at Bonas, France, September 28 - October 10, 1981
Megjelenés: 1983
Jelzet:
7017
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
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:
5
Advanced in artificial intelligence : 16th Brazilian Symposium on Artificial intelligence, SBIA 2002 Porto de Galinhas/Recife, Brazil, November 2002 : Proceedings
Megjelenés: 2002
Jelzet:
í830
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
Ninth International Conference on Automated Deduction : Agronne, Illinois, USA, May 23-26, 1988 : Proceedings
Megjelenés: 1988
Jelzet:
7930
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
Advances in case-based reasoning : 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September : Proceedings
Megjelenés: 2002
Jelzet:
í827
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
7
IK Kari Könyvtár
Különgyűjtemény
Nincs elérhető adat
Formátum
könyv
7
Nyelv
angol
7
Szerző
Baaz, Matthias
1
Biermann, Alan W. ([1939-])
1
Bittencourt, Guilherrme
1
CADE-9 (1988)
1
Craw, Susan
1
ECCBR (2002)
1
többet ...
Egly, Uwe
1
Fermüller, Christian G.
1
Guiho, Gérard ([1945-])
1
Konferencia (2002) (Porto de Galinhas)
1
LPAR (2002)
1
Lusk, Ewing, szerk
1
Mayer, Marta Cialdea
1
Overbeek, Ross Alan, szerk
1
Pirri, Fiora
1
Preece, Alun
1
Ramalho, Geber L.
1
SBIA (2002)
1
TABLEAUX (2002)
1
TABLEAUX (2003)
1
Voronkov, Andreĭ (1959-)
1
többet mutat ...
kevesebbet ...
Tárgyszó
Computing methodologies
7
Computing methodologies -- Congresses
Congresses
7
konferencia
7
konferenciakötet
7
mesterséges intelligencia
7
többet ...
mesterséges intelligencia -- konferencia
tanulmányok
7
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...