Prikaz rezultata
1 – 4
od
4
Preskoči na sadržaj
VuFind
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
हिंदी
Započni novo osnovno pretraživanje
|
Započni novo napredne pretraživanje
Versions -
Logic For Computer Science: Foundations Of Automatic Theorem Proving
Prikaz rezultata
1 – 4
od
4
, vrijeme pretraživanja: 0,02s
Detaljiziraj rezultate
Razvrstaj
Značajnost
Datum uzlazno
Datum silazno
Signatura
Autor
Naslov
1
Učitavanje...
Logic For Computer Science: Foundations Of Automatic Theorem Proving
od
Gallier, Jean H
Izdano 1987
Signatura:
Učitavanje...
Lokalizirano:
Učitavanje...
Printed Book
Učitavanje...
2
Učitavanje...
Logic for computer science : Foundations of Automatic Theorem proving/
od
Gallier, Jean H.
Izdano 1987
Signatura:
Učitavanje...
Lokalizirano:
Učitavanje...
Printed Book
Učitavanje...
3
Učitavanje...
Logic for computer science : foundations of automatic theorem proving /
od
Gallier, Jean H.
Izdano 1986
Signatura:
Učitavanje...
Lokalizirano:
Učitavanje...
Printed Book
Učitavanje...
4
Učitavanje...
Logic for computer science : foundations of automatic theorem proving /
od
Gallier, Jean H.
Izdano 2015
Signatura:
Učitavanje...
Lokalizirano:
Učitavanje...
Printed Book
Učitavanje...
Alati za pretraživanje:
Preuzmi RSS sažetak
—
Pošalji ovo pretraživanje e-poštom
Natrag
Uže pretraživanje
Institucija
University of Calicut
2
CUSAT
1
MG University
1
Knjižnica
Department of Mathematics
2
CH Mohammed Koya Library
1
School of Computer Sciences
1
Format
Printed Book
4
Signatura
000 - Computer science, information, general works
1
500 - Natural sciences and mathematics
1
Autor
Gallier, Jean H.
3
Gallier, Jean H
1
Jezik
English
3
Godina izdanja
Od:
Do:
Učitavanje...