Prikaz rezultata
1 – 1
od
1
Preskoči na sadržaj
UPFind
Košarica:
0
predmeti
(Puna)
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
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Sva polja
Naslov
Autor
Tema
Signatura
ISBN/ISSN
Pronađi
Napredno
Autor
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
Rezultati pretrage - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
Prikaz rezultata
1 – 1
od
1
Detaljiziraj rezultate
Razvrstaj
Relevantnost
Datum uzlazno
Newest to Oldest
Oldest to Newest
Autor
Naslov
Select Page
E-mail
Izvezi
Ispiši
Dodaj u košaricu
Odaberi rezultat broj 1
1
Proof technology and computation
Izdano 2006
Signatura:
Učitavanje…
Lokalizirano:
Učitavanje…
Knjiga
Učitavanje…
Dodaj u košaricu
Ukloni iz košarice
Samostalni zapis
Select Page
E-mail
Izvezi
Ispiši
Dodaj u košaricu
Alati za pretragu:
RSS vijesti
Pošalji pretragu e-mailom
Povezani predmeti
Automatic theorem proving
Computer programming
Computer software
Development
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-. The University Library, University of the Philippines Diliman
