Megjelenítés:
1 - 1
/
1
- kulcsszavak: '
de Moura, Leonardo, szerk.
'
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
Szerző
de Moura, Leonardo, szerk.
Megjelenítés:
1 - 1
/
1
- kulcsszavak: '
de Moura, Leonardo, szerk.
'
, 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 Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Megjelenés: 2017
Közreműködő(k):
“
...
de
Moura
,
Leonardo
,
szerk
....
”
Jelzet:
13840
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
—
Kapcsolódó kulcsszavak
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer science
Computer software
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Software engineering
elektronikus könyv
mesterséges intelligencia
szoftver
szoftverfejlesztés
számítástudomány
×
Betöltés...