Automating Recursive Type Definitions in Higher Order Logic

Automating Recursive Type Definitions in Higher Order Logic

Ցույց տալ այլ տարբերակներ (1)
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Melham, T
Ձևաչափ: Report
Հրապարակվել է: Computer Laboratory‚ University of Cambridge 1988
Search Result 1
Automating Recursive Type Definitions in Higher Order Logic

Automating Recursive Type Definitions in Higher Order Logic ‌ Melham, T

Հրապարակվել է 1989
Գիրք
Ցույց տալ բոլոր տարբերակները (2)

Նմանատիպ նյութեր