Megjelenítés:
1 - 11
/
11
- 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ó:
számítógépes logika -- konferencia
AND
mesterséges intelligencia -- konferencia
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
számítógépes logika -- konferencia
AND
mesterséges intelligencia -- konferencia
Keresés:
Megjelenítés:
1 - 11
/
11
- kulcsszavak: '
'
, keresési idő: 0.02mp
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 Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15949
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15848
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16086
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16089
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15629
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15938
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15987
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
Reachability Problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16008
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16011
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15566
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
DNA Computing and Molecular Programming : 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15825
Ugrás a forráshoz
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
11
IK Kari Könyvtár
11
Különgyűjtemény
e-book
11
Formátum
könyv
11
Nyelv
angol
11
Szerző
SpringerLink (Online service), közreadó testület
11
Balduccini, Marcello, szerk
1
Blackburn, Patrick (1959-), szerk
1
Donatelli, Susanna, szerk
1
Filiot, Emmanuel (1982-), szerk
1
Fodor, Paul, szerk
1
többet ...
Fontaine, Pascal, szerk
1
Gaston, Christophe, szerk
1
Guo, Meiyun, szerk
1
Haar, Stefan, szerk
1
Herzig, Andreas, szerk
1
IFIP WG 6.1 International Conference on Testing Software and Systems31.(2019) (Paris, France)
1
International Conference on Automated Deduction27.(2019) (Natal, Brazil)
1
International Conference on DNA-Based Computers25.(2019) (Seattle)
1
International Conference on Logic Programming and Nonmonotonic Reasoning15.(2019) (Philadelphia, PA, USA)
1
International Conference on Reachability Problems13.(2019) (Brussels)
1
International Joint Conference on Rules and Reasoning (2019) (Bolzano)
1
International Symposium on Frontiers of Combining Systems12.(2019) (London)
1
Jungers, Raphaël, szerk
1
Kosmatov, Nikolai, szerk
1
Le Gall, Pascale, szerk
1
Lierler, Yuliya, szerk
1
Liu, Yan, szerk
1
Lorini, Emiliano, szerk
1
Parker, David, szerk
1
Popescu, Andrei, szerk
1
Potapov, Igor, szerk
1
Thachuk, Chris, szerk
1
Wolf, Verena, szerk
1
Woltran, Stefan, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Artificial intelligence
11
Computer logic
11
elektronikus könyv
11
konferencia
11
konferenciakötet
11
mesterséges intelligencia
11
többet ...
mesterséges intelligencia -- konferencia
számítógépes logika
11
számítógépes logika -- konferencia
tanulmányok
11
Software engineering
10
szoftverfejlesztés
9
szoftverfejlesztés -- konferencia
9
Mathematical logic
5
matematikai logika
5
matematikai logika -- konferencia
5
Algorithms
3
Application software
3
Computer science—Mathematics
3
Computers
3
Computer system failures
2
programozási nyelvek
2
programozási nyelvek -- konferencia
2
Computer communication systems
1
Computer organization
1
Computer simulation
1
Data structures (Computer science)
1
Database management
1
Mathematical statistics
1
Programming languages (Electronic computers)
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...