Theorem Proving in Higher Order Logics
Prisijungti
Siūlomos
Ieškomos
Įvykę mainai
Pagalba
Theorem Proving in Higher Order Logics
Siūlyti šią knygą
Pridėti į norimas
Leidėjas:
Springer-Verlag GmbH
2009
ISBN 9783642033582
Viršelis: Minkštas
Anglų k.
Negrožinė literatūra
Literatūra užsienio kalbomis
Kompiuterija ir informacinės technologijos
Šią knygą siūlo
(0)
Šios knygos nori
(0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra
