Affordable Access

Definitional approach to automatic demonstration

Authors
Publisher
Berlin : Springer-Verlag
Publication Date
Keywords
  • Automatyka
  • Informatyka
  • Logika Matematyczna
  • Teoria Mnogości

Abstract

W: Proceedings of the Symposium on Automatic Demonstration, Versailles, France, December 1968, volume 125 of Lecture Notes in Mathematics, pages 191-193

There are no comments yet on this publication. Be the first to share your thoughts.