Title:

Definitional approach to automatic demonstration

Creator:

Pawlak, Zdzisław

Original Publication Date:

1970

Original Publisher:

Berlin : Springer-Verlag

Subject and Keywords:

informatyka ; automatyka ; teoria mnogości ; logika matematyczna

Description:

W: Proceedings of the Symposium on Automatic Demonstration, Versailles, France, December 1968, volume 125 of Lecture Notes in Mathematics, pages 191-193

Resource Type:

artykuł

Format:

application/pdf

Language:

eng

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:

DL.000378