Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings

From MaRDI portal
Publication:1653699
Jump to:navigation, search

DOI10.1007/978-3-319-96812-4zbMath1392.68030OpenAlexW211671548MaRDI QIDQ1653699

No author found.

Publication date: 6 August 2018

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-96812-4


Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68Txx)



Uses Software

  • Coq
  • Isabelle
  • Isabelle/HOL
  • Mizar
  • MMT
  • OMDoc
  • Aligator.jl
  • MathTools
  • RISCAL
  • CoqHammer
  • MathChat


Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1653699&oldid=13965714"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 05:27.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki