Search alternatives:
"Logique informatique." » "Logique information." (Expand Search)
Showing 1 - 1 results of 1 for search '"Logique informatique."', query time: 0.28s Refine Results
  1. 1
    Isabelle/HOL : a proof assistant for higher-order logic /
    by Nipkow, Tobias, 1958-
    Published 2002
    Subjects: “...Logique informatique....”
    Connect to the full text of this electronic book
    Get full text
    eBook
Search Tools: RSS Feed – Email Search