WUT Digital Library contains 22 873 digital objects
Object
Title: Definitional approach to automatic demonstration
Original Publisher:
Description:
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 5, 2010
In our library since:
May 27, 2010
Number of object content hits:
283
Number of object content views in PDF format
311
All available object's versions:
https://bcpw.bg.pw.edu.pl/publication/1668
Show description in RDF format:
Show description in OAI-PMH format:
| Edition name | Date |
|---|---|
| Pawlak, Zdzisław, 1970, Definitional approach to automatic demonstration | Aug 5, 2010 |
Objects Similar
Pawlak, Zdzisław
1963-1967
komentarz do wykładu
Pawlak, Zdzisław
1963-67
komentarz do wykładu
Pawlak, Zdzisław
1960
artykuł
×
