Biblioteka Cyfrowa Politechniki Warszawskiej udostępnia 22 873 obiektów cyfrowych
Obiekt
Tytuł: Definitional approach to automatic demonstration
Wydanie oryg.:
Opis:
Identyfikator zasobu:
Format:
Język:
Powiązania:
Bibliografia pełnotekstowa publikacji prof. Zdzisława Pawlaka
Prawa:
Danuta Pawlak ; Andrzej Skowron, autor bibliografii ; Małgorzata Dorota Rybnik
Sygnatura BCPW:
Kolekcje, do których przypisany jest obiekt:
- Biblioteka Cyfrowa Politechniki Warszawskiej > Historia nauki i techniki
- Biblioteka Cyfrowa Politechniki Warszawskiej > Historia informatyki
Data ostatniej modyfikacji:
5 sie 2010
Data dodania obiektu:
27 maj 2010
Liczba wyświetleń treści obiektu:
283
Liczba wyświetleń treści obiektu w formacie PDF
311
Wszystkie dostępne wersje tego obiektu:
https://bcpw.bg.pw.edu.pl/publication/1668
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
| Nazwa wydania | Data |
|---|---|
| Pawlak, Zdzisław, 1970, Definitional approach to automatic demonstration | 5 sie 2010 |
Obiekty Podobne
Pawlak, Zdzisław
1963-1967
komentarz do wykładu
Pawlak, Zdzisław
1963-67
komentarz do wykładu
Pawlak, Zdzisław
1960
artykuł
×
