Ładuje się......

Logic for computer science : Foundations of Automatic Theorem proving/

Opis bibliograficzny
1. autor: Gallier, Jean H.
Format: Printed Book
Język:English
Wydane: John Wiley & Sons, 1987.

University of Calicut

Szczegóły zapisu University of Calicut
Sygnatura: 68 GAL
Egzemplarz Możliwość dostępu nieznana