Filters
Collections
History of Science and Technology
(1)
History of IT
(1)
File type
application/pdf
(1)
Content format
PDF
(1)
Skip to main menu
Skip to search engine
Skip to content
Skip to footer
en
pl
en
pl
Contrast
Share
Login
en
pl
en
pl
Login
Contrast
Share
Back
About Project
About Project
Frequently asked questions
Contact
About dLibra
Collections
Collections
Journals
PhD Theses
History of IT
History of Science and Technology
History of Warsaw University of Technology
Iconography
Sacral architecture
Aerial photographs
SARP Competitions
Spatial Management and Housing Collection
IPI PAN Collection
Tadeusz Barucki Collection
Industry standards
Rescue her memory
Output of Main Library Staff
Student Self-Government
SEZAM - OKNO
Texts and Handbooks
Top 50 Texts and Handbooks
Varia
Varsaviana
WUT activity
Documents of Andrzej Chmielewski
Collection of Władysław Findeisen
Indexes
Indexes
Title
Creator
Contributor
Original Publication Date
Subject and Keywords
Recently viewed
Recently viewed
Objects
Collections
WUT Digital Library
contains 19 150 digital objects
Search field
Change search criteria
?
Search for:
[Description = "W\: Proceedings of the Symposium on Automatic Demonstration, Versailles, France, December 1968, volume 125 of Lecture Notes in Mathematics, pages 191\-193"]
Number of results:
1
Filters
Items per page:
24
40
64
add all to bibliography
of
1
Definitional approach to automatic demonstration
Pawlak, Zdzisław
1970
artykuł
ris
BibTeX
1
of
1
This page uses 'cookies'.
More information
I understand
