![](https://www.pdfsearch.io/img/7000601d3ff3972aa7104a433cd5ef2a.jpg) Date: 2017-06-27 17:17:14
| | Automata Theory Approach to Predicate Intuitionistic Logic Maciej Zielenkiewicz and Aleksy Schubert Institute of Informatics, University of Warsaw, Warsaw, Poland [maciekz,alx]@mimuw.edu.pl 1. Arcadian AutomataAdd to Reading ListSource URL: www.win.tue.nlDownload Document from Source Website File Size: 152,68 KBShare Document on Facebook
|