Problem-solving machines for Euclidean geometry

DOI10.1016/0020-0255(70)90036-8MaRDI QIDQ2549937zbMATH OpenOpenAlexFDO

Authors Motokiti Kondô, Haruo Murata

Publication date 1970

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0255(70)90036-8

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites work

• scientific article; zbMATH DE number 3131080 (Why is no real title available?)
• scientific article; zbMATH DE number 3235679 (Why is no real title available?)
• scientific article; zbMATH DE number 3053259 (Why is no real title available?)
• On certain formal properties of grammars
• On proof retrieval: Problem-solving machines, I
• The arithmetic translator-compiler of the IBM FORTRAN automatic coding system

Describes a project that uses

Uses Software

• ALGOL 60

This page was built for publication: Problem-solving machines for Euclidean geometry

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