Filtry
Kolekcje
Historia nauki i techniki
(1)
Historia informatyki
(1)
Typ pliku
application/pdf
(1)
Format treści
PDF
(1)
Autor
Pawlak, Zdzisław
(1)
Temat i słowa kluczowe
automatyka
(1)
informatyka
(1)
logika matematyczna
(1)
teoria mnogości
(1)
Typ zasobu
artykuł
(1)
Język
eng
(1)
Przejdź do menu głównego
Przejdź do wyszukiwarki
Przejdź do treści
Przejdź do stopki
pl
en
en
pl
Kontrast
Udostępnij
Zaloguj się
pl
en
en
pl
Zaloguj się
Kontrast
Udostępnij
Powrót
O Projekcie
O Projekcie
O Bibliotece Cyfrowej PW
Zastrzeżenia prawne
Informacje techniczne
Kontakt
Kolekcje
Kolekcje
Czasopisma
Doktoraty i prace naukowe
Historia informatyki
Historia nauki i techniki
Historia Politechniki Warszawskiej
Ikonografia
Architektura sakralna
Fotografie lotnicze
Konkursy architektoniczne SARP
Kolekcja GPiM
Kolekcja IPI PAN
Kolekcja Tadeusza Baruckiego
Normy branżowe
Ocalić od zapomnienia
Publikacje pracowników BGPW
Samorząd PW
SEZAM - OKNO
Skrypty i podręczniki
50 najpoczytniejszych skryptów
Varia
Varsaviana
Z działalności Politechniki Warszawskiej
Dokumenty Andrzeja Chmielewskiego
Kolekcja Władysława Findeisena
Indeksy
Indeksy
Tytuł
Autor
Współtwórca
Data wydania oryg.
Temat i słowa kluczowe
Historia przeglądania
Historia przeglądania
Obiekty
Kolekcje
Biblioteka Cyfrowa Politechniki Warszawskiej
udostępnia 19 150 obiektów cyfrowych
Pole wyszukiwania
Zmień kryteria wyszukiwania
?
Szukana fraza:
[Opis = "W\: Proceedings of the Symposium on Automatic Demonstration, Versailles, France, December 1968, volume 125 of Lecture Notes in Mathematics, pages 191\-193"]
Wyników:
1
Filtrowanie
Obiektów na stronie:
24
40
64
Dodaj wszystkie do bibliografii
z
1
Definitional approach to automatic demonstration
Pawlak, Zdzisław
1970
artykuł
ris
BibTeX
1
z
1
Ta strona wykorzystuje pliki 'cookies'.
Więcej informacji
Rozumiem
