Webbplatser som liknar Inf.Unibz.It

Department of Mathematics and Statistics

Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.

Given a Diophantine equation with any number of unknowns and with rational integer coefficients: devise a process, which could determine by a finite number of ...

Logic Machine at Texas A&M University

Research topics include Kirchoff machines, robot locomotion, and vision. Site also includes information on the Stiquito six legged robot.

Free tutorials in formal logic (symbolic or propositional logic) from logictutorial.com - using Exclusion Diagrams. Nagarjuna meets Venn and Wittgenstein.

Online philosophy reference work, articles are authored and updated by experts in the field. Edited by Edward Zalta.

Free, secure and fast downloads from the largest Open Source applications and software directory - SourceForge.net