Rezultaty
1 - 1
Rezultaty od
1
Dla wyszukiwania '
Gallier, Jean H; Author
'
Przejdź do treści
VuFind
Język
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
हिंदी
Wszystkie pola
Tytuł
Autor
Hasło przedmiotowe
Sygnatura
ISBN / ISSN
Etykieta
Szukaj
Wyszukiwanie zaawansowane
Autor
Gallier, Jean H; Author
Rezultaty
1 - 1
Rezultaty od
1
Dla wyszukiwania '
Gallier, Jean H; Author
'
, Czas wyszukiwania: 0,01s
Redukuj rezultaty
Sortuj
Ważność
Według najnowszych
Według najstarszych
Sygnatura
Autor
Tytuł
1
Ładuje się......
Logic for computer science: foundations of automatic theorem proving
od
Gallier
,
Jean
H
;
Author
Wydane 1987
Sygnatura:
Ładuje się......
Zlokalizowane:
Ładuje się......
Printed Book
Ładuje się......
Narzędzie wyszukiwania:
Abonuj RSS
—
Wyślij rezultaty emailem
Podobne hasła
Automatic theorem proving
Computer science
Logic, Symbolic and mathematical
Ładuje się......