Showing
1 - 1
results of
1
for search '
'
Skip to content
Toggle navigation
VuFind
Pišite nam
Vaš račun
Odjava
Prijava
Jezik
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
UM:NIK
Katalog UkM
Katalog UkM
-- Naslov
-- Avtor
-- Tema
-- Signatura
-- ISBN/ISSN
-- Oznaka
BrowZine
Raziskovalni vodiči
Išči
Napredno
Reset Filters
Avtor:
Biere, Armin
Jezik:
English
Priporočene teme:
Artificial intelligence
IN
Computer science
IN
Electronic data processing
Reset Filters
Show filters (5)
Avtor:
Biere, Armin
Jezik:
English
Priporočene teme:
Artificial intelligence
IN
Computer science
IN
Electronic data processing
Išči:
Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
Artificial intelligence
Computer science
Computer software
1
Electronic data processing
Logic, Symbolic and mathematical
1
Operating systems (Computers)
1
Showing
1 - 1
results of
1
for search '
'
, čas poizvedbe: 0.06s
Refine Results
Razvrsti
Po pomembnosti
Po padajočem datumu
Po rastočem datumu
PO Signaturi
PO AvtorJU
PO Naslovu
1
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /
Izdano 2006
Signatura:
Nalaganje...
Nahaja se:
Nalaganje...
eKnjiga
Nalaganje...
Prikaži QR kodo
Dodaj v priljubljene
Shranjeno v:
Iskalna orodja:
RSS
—
Pošljite iskanje po emailu
—
Shrani iskanje
Nazaj
Zoži iskanje
Institucija
UKM
1
Knjižnica
UKM-Gospejna 10
1
Format
eKnjiga
1
Avtor
Biere, Armin
Gomes, Carla P.
1
SpringerLink (Online service)
1
Jezik
English
Leto izdaje
Od:
Za:
×
Nalaganje...