Search results 1
Paper図書
Other Libraries in Japan
- Subject HeadingAutomatic theorem proving -- Computer programs Computer programming Coq (Electronic resource)
- Subject Heading (ID)Automatic theorem proving -- Computer programs Computer programming Coq (Electronic resource)
Reached to the end of result.