Matita - PDFSEARCH.IO - Document Search Engine

Matita
Results: 30

#	Item
21	INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo Add to Reading List Source URL: cerco.cs.unibo.it Language: English - Date: 2010-06-15 17:48:13 Apache Subversion Git Proof assistant Debian Matita Software Free software Trac
22	The Matita Interactive Theorem Prover Andrea Asperti1 , Wilmer Ricciotti1 , Claudio Sacerdoti Coen1 , and Enrico Tassi2 1 Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:31 Formal methods Automated theorem proving Logic in computer science Type theory Programming language theory Matita Proof assistant POPLmark challenge Theorem Proving in Higher-Order Logics Theoretical computer science Computer science Applied mathematics
23	A Web Interface for Matita Andrea Asperti and Wilmer Ricciotti Department of Computer Science, University of Bologna {asperti,ricciott}@cs.unibo.it This article describes a prototype implementation of a web interface fo Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2012-04-18 02:22:00 HTML World Wide Web Computer file formats Proof assistant Matita XML Hyperlink Web page Form Computing Markup languages Technical communication
24	Causes of language change 1. Add to Reading List Source URL: attach.matita.net Language: English - Date: 2009-12-31 07:07:14 Anthropology Academia Historical linguistics Variation Speech community Language change Prestige Lexical diffusion Grammaticalization Sociolinguistics Linguistics Science
25	A new type for tactics A new type for tactics Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:30 Automated theorem proving Proof assistant ML Mathematical proof Matita Isabelle Prolog Theorem Stack Logic Mathematics Programming language theory
26	The Order of Demonstrative, Numeral, Adjective and Noun: An Alternative to Cinque Matthew S. Dryer Add to Reading List Source URL: exadmin.matita.net Language: English - Date: 2011-06-07 10:21:26 Relative clause Noun phrase Grammatical number Linguistics Syntax Linguistic typology
27	- AMSTERDAM Add to Reading List Source URL: attach.matita.net Language: English - Date: 2010-01-04 15:56:27 Language Grammatical gender Grammatical number Proto-Indo-European nouns Noun class Animacy Inflection Noun Dual Linguistics Grammar Linguistic morphology
28	Problems in the Reconstruction of Proto-Celtic Add to Reading List Source URL: exadmin.matita.net Language: English - Date: 2011-09-02 02:54:40 Ancient languages Gaulish language Ogham Brythonic languages Celts British language Celtic studies Forfeda Italo-Celtic Celtic culture Celtic languages Indo-European languages
29	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-08-30 07:17:32 Logic in computer science Formal methods Automated theorem proving Proof assistant Type theory POPLmark challenge Twelf HOL Matita Theoretical computer science Mathematical software Mathematical logic
30	PDF Document Add to Reading List Source URL: attach.matita.net Language: English - Date: 2009-12-31 06:46:56 Language Grammatical gender Noun class Noun Animacy Grammatical number Declension Deverbal noun Nominalization Linguistics Grammar Linguistic morphology

UPDATE