Biblioteka Cyfrowa Politechniki Warszawskiej udostępnia 22 873 obiektów cyfrowych
Obiekt
Tytuł: Automatyczne dowodzenie twierdzeń
Wydanie oryg.:
Opis:
vol. 19 serii Biblioteczka Matematyczna
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:
24 sie 2010
Data dodania obiektu:
25 maj 2010
Liczba wyświetleń treści obiektu:
428
Liczba wyświetleń treści obiektu w formacie PDF
441
Wszystkie dostępne wersje tego obiektu:
https://bcpw.bg.pw.edu.pl/publication/1659
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
| Nazwa wydania | Data |
|---|---|
| Pawlak, Zdzisław, 1965, Automatyczne dowodzenie twierdzeń | 24 sie 2010 |
Obiekty Podobne
Pawlak, Zdzisław
2000
artykuł naukowy
×
