Matches in Library of Congress for { ?s ?p Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Tobias Nipkow.. }
Showing items 1 to 1 of
1
with 100 items per page.
Data Portal @ linkeddatafragments.org
