Megjelenítés:
1 - 1
/
1
- kulcsszavak: '
Snyers, Dominique (1959-)
'
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ő
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ő
Snyers, Dominique (1959-)
Megjelenítés:
1 - 1
/
1
- kulcsszavak: '
Snyers, Dominique (1959-)
'
, keresési idő: 0.05mp
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
From logic design to logic programming : Theorem proving techniques and P-functions
Szerző:
Snyers
,
Dominique
(
1959
-)
Megjelenés: 1987
Jelzet:
7725
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
Algorithms (Computer science)
Automatic theorem proving
Logic programming
algoritmus (számítógépes)
automatikus tételbizonyítás
automatikus tételbizonyítás -- matematikai logika
logikai programozás
matematikai logika
×
Betöltés...