AISC Meets Natural Typography

DOI10.1007/978-3-540-85110-3_6zbMATH Open1166.68333OpenAlexW1521181842WikidataQ59590612 ScholiaQ59590612MaRDI QIDQ5505489FDOQ5505489

Authors: James H. Davenport 

Publication date: 27 January 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-85110-3_6

Recommendations

• A revisited perspective on symbolic mathematical computing and artificial intelligence
• Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integr
• A perspective on symbolic mathematical computing and artificial intelligence
• scientific article; zbMATH DE number 4076613
• scientific article; zbMATH DE number 622671

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Computing methodologies for text processing; mathematical typography (68U15)

Cites Work

• Title not available (Why is that?)
• A GENERAL METHOD FOR APPROXIMATING TO THE DISTRIBUTION OF LIKELIHOOD RATIO CRITERIA
• Title not available (Why is that?)
• Title not available (Why is that?)
• The freedom to extend OpenMath and its utility
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Artificial intelligence study of the system JCS-08-13-2022

This page was built for publication: AISC Meets Natural Typography

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505489)