Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Edition : Pdf ed.
Call Number : 004.0151 FAR s
Availability : 1 copies available for loan
Mathematical Foundations of Software Engineering : A Practical Guide to Essentials

Mathematical Foundations of Software Engineering : A Practical Guide to Essentials

Edition : 1st ed. Pdf ed.
Call Number : 004.0151 ORE m
Availability : 1 copies available for loan

Search Result


Found 2 from your keywords: Subject : "Computer math"
Query took 0.07608 second(s) to complete
XML ResultJSON Result

Information


Matana University Online Public Access Catalog. For assistance, contact your librarian by email [email protected].