![Formal systems / Logical truth / Proof theory / Theorem / Formal proof / TeX / Mathematical proof / Syntax / Mathematical logic / Logic / Logical syntax / Formal languages Formal systems / Logical truth / Proof theory / Theorem / Formal proof / TeX / Mathematical proof / Syntax / Mathematical logic / Logic / Logical syntax / Formal languages](https://www.pdfsearch.io/img/ce7edb3a5aad1ab46689942837834f34.jpg)
| Document Date: 2007-03-14 10:17:19 Open Document File Size: 98,85 KBShare Result on Facebook
City Report / Chicago / / Company Sandia Laboratories / / Currency USD / / Facility Northwestern University / / IndustryTerm blind linear search / / NaturalFeature Alps / / OperatingSystem Unix / / Organization Widener University / A. Note / MIT / Northwestern University / / Person William Richter / Bob Neveln / Tony Morse / Bob Alps / / Position author / mathematician / / ProgrammingLanguage Metafont / Python / / PublishedMedium Theoretical Computer Science / TUGboat / / Technology Unix / /
SocialTag |