Title:

Automatyczne dowodzenie twierdzeń

Creator:

Pawlak, Zdzisław

Original Publication Date:

1965

Original Publisher:

Warszawa : PZWS

Subject and Keywords:

informatyka ; cybernetyka matematyczna ; cybernetyka ; sztuczna inteligencja ; logika matematyczna

Description:

vol. 19 serii Biblioteczka Matematyczna

Resource Type:

książka

Format:

application/pdf

Language:

pol

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