WUT Digital Library contains 22 878 digital objects
Object
Title: Automatyczne dowodzenie twierdzeń
Original Publisher:
Description:
vol. 19 serii Biblioteczka Matematyczna
Resource Identifier:
Format:
Language:
Relation:
Bibliografia pełnotekstowa publikacji prof. Zdzisława Pawlaka
Rights Management:
Danuta Pawlak ; Andrzej Skowron, autor bibliografii ; Małgorzata Dorota Rybnik
Call number DL WUT:
Object collections:
- Warsaw University of Technology Digital Library > History of Science and Technology
- Warsaw University of Technology Digital Library > History of IT
Last modified:
Aug 24, 2010
In our library since:
May 25, 2010
Number of object content hits:
430
Number of object content views in PDF format
443
All available object's versions:
https://bcpw.bg.pw.edu.pl/publication/1659
Show description in RDF format:
Show description in OAI-PMH format:
| Edition name | Date |
|---|---|
| Pawlak, Zdzisław, 1965, Automatyczne dowodzenie twierdzeń | Aug 24, 2010 |
Objects Similar
Pawlak, Zdzisław
2000
artykuł naukowy
×
