Näytetään
1 - 3
yhteensä
3
tuloksesta haulle '
'
Siirry sisältöön
VuFind
Kieli
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
हिंदी
Kaikki kentät
Nimeke
Tekijä
Aihe
Hyllypaikka
ISBN/ISSN
Tagi
Hae
Tarkennettu
Poista rajaukset
Aihe-ehdotuksia:
Automatic theorem proving
Poista rajaukset
Näytä rajaukset (1)
Aihe-ehdotuksia:
Automatic theorem proving
Hakutulokset
Aihe-ehdotuksia
Aihe-ehdotuksia
Automatic theorem proving
Logic, Symbolic and mathematical
2
Approximation theory
1
Computer science
1
MATHEMATICS / Logic
1
Nonlinear operators
1
Proof theory
1
Näytetään
1 - 3
yhteensä
3
tuloksesta haulle '
'
, hakuaika: 0,01s
Tarkenna hakua
Järjestä
Relevanssi
Aika (uusimmat ensin)
Aika (vanhimmat ensin)
Luokka
Tekijä
Nimeke
1
Lataa...
Logic for computer science: foundations of automatic theorem proving
Tekijä
Gallier, Jean H; Author
Julkaistu 1987
Hyllypaikka:
Lataa...
Sijainti:
Lataa...
Printed Book
Lataa...
2
Lataa...
Applied proof theory : proof interpretations and their use in mathematics /
Tekijä
Kohlenbach, U.
Julkaistu 2008
Hyllypaikka:
Lataa...
Sijainti:
Lataa...
Printed Book
Lataa...
3
Lataa...
Logic for computer science : foundations of automatic theorem proving /
Tekijä
Gallier, Jean H.
Julkaistu 2015
Hyllypaikka:
Lataa...
Sijainti:
Lataa...
Printed Book
Lataa...
Työkalut:
RSS-syöte
—
Lähetä haku sähköpostilla
Takaisin
Rajaa hakua
Organisaatio
MG University
1
University of Calicut
1
University of Kerala
1
Kirjasto
CH Mohammed Koya Library
1
Dept. of Future Studies
1
Mahatma Gandhi University Library
1
Aineistotyyppi
Printed Book
3
Hyllypaikka
500 - Natural sciences and mathematics
3
Tekijä
Gallier, Jean H.
1
Gallier, Jean H; Author
1
Kohlenbach, U.
1
Kieli
English
1
Julkaisuvuosi
Alkaen:
Päättyen:
Lataa...