|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 248 publication records. Showing 248 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe 0001, Volker Sorge (eds.) |
Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![Springer, 978-3-319-20614-1 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone |
TIP: Tons of Inductive Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings, pp. 333-337, 2015, Springer, 978-3-319-20614-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Waqar Ahmad, Osman Hasan |
Towards Formal Fault Tree Analysis Using Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings, pp. 39-54, 2015, Springer, 978-3-319-20614-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ross Moore |
Semantic Enrichment of Mathematics via 'tooltips'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings, pp. 338-342, 2015, Springer, 978-3-319-20614-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar |
Formalizing Physics: Automation, Presentation and Foundation Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings, pp. 288-295, 2015, Springer, 978-3-319-20614-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease |
Automating Change of Representation for Proofs in Discrete Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings, pp. 227-242, 2015, Springer, 978-3-319-20614-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Max Wisniewski, Alexander Steen, Christoph Benzmüller |
LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings, pp. 325-330, 2015, Springer, 978-3-319-20614-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall 0001 |
Type Inference for ZFH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings, pp. 87-101, 2015, Springer, 978-3-319-20614-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Umair Siddique, Osman Hasan, Sofiène Tahar |
Towards the Formalization of Fractional Calculus in Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings, pp. 316-324, 2015, Springer, 978-3-319-20614-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Deyan Ginev, Joseph Corneli |
NNexus Reloaded. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 423-426, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David M. Cerna |
A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 61-75, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zongyan Huang, Matthew England 0001, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge |
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 92-107, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Van de Sompel, Martin Klein 0001, Harihar Shankar |
Towards Robust Hyperlinks for Web-Based Scholarly Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 12-25, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jaime Carvalho e Silva |
What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 1-11, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Qun Zhang, Abdou Youssef |
An Approach to Math-Similarity Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 404-418, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ulf Schöneberg, Wolfram Sperber |
POS Tagging and Its Applications for Mathematics - Text Analysis in Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 213-223, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thibault Gauthier, Cezary Kaliszyk |
Matching Concepts across HOL Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 267-281, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adam Naumowicz |
SAT-Enhanced Mizar Proof Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 449-452, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams |
Digital Repository of Mathematical Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 419-422, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Schubotz, Gabriel Wicke |
Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 224-235, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthew England 0001, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson |
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 45-60, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar |
Formalization of Complex Vectors in Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 123-137, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco B. Caminati, Manfred Kerber, Christoph Lange 0002, Colin Rowat |
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 236-251, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ross Moore |
PDF/A-3u as an Archival Format for Accessible Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 184-199, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Constantin Jucovschi |
Towards an Interaction-based Integration of MKM Services into End-User Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 344-356, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen |
Hipster: Integrating Theory Exploration in a Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 108-122, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Kaliszyk, Josef Urban, Jirí Vyskocil, Herman Geuvers |
Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 435-439, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Feryal Fulya Horozal, Florian Rabe 0001, Michael Kohlhase |
Flexary Operators for Formalized Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 312-327, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic |
A Vernacular for Coherent Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 388-403, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Fish, Alexei Lisitsa 0001 |
Detecting Unknots via Equational Reasoning, I: Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 76-91, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kohlhase |
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 169-183, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Gransden, Neil Walkinshaw, Rajeev Raman |
Mining State-Based Models from Proof Corpora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 282-297, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa |
Which One Is Better: Presentation-Based or Content-Based Math Search? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 200-212, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing |
System Description: MathHub.info. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 431-434, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban (eds.) |
Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![Springer, 978-3-319-08433-6 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Haralambous, Pedro Quaresma |
Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 298-311, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lars Hupel |
Interactive Simplifier Tracing and Debugging in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 328-343, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Deyan Ginev, Bruce R. Miller, Silviu Oprea |
E-books and Graphics with. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 427-430, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi |
Towards the Formal Reliability Analysis of Oil and Gas Pipelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 30-44, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Líska, Petr Sojka, Michal Ruzicka |
Math Indexer and Searcher Web Interface - Towards Fulfillment of Mathematicians' Information Needs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 444-448, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eric W. Weisstein |
Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram|Alpha. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 26-29, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Carette, William M. Farmer, Michael Kohlhase |
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 252-266, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Kaliszyk, Florian Rabe 0001 |
Towards Knowledge Management for HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 357-372, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Wegner, Sigram Schindler |
A Mathematical Structure for Modeling Inventions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 138-152, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Kohlhase, Michael Kohlhase |
System Description: A Semantics-Aware LaTeX-to-Office Converter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 440-443, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Kohlhase |
Search Interfaces for Mathematicians. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 153-168, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Umair Siddique, Sofiène Tahar |
A Framework for Formal Reasoning about Geometrical Optics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 453-456, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Karol Pak |
Automated Improving of Proof Legibility in the Mizar System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 373-387, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #248 of 248 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|