Zamboni - PDFSEARCH.IO - Document Search Engine

Zamboni
Results: 83

#	Item
21	VIRTUA FLYERS SKATE ZONE 601 LAUREL OAK ROAD VOORHEES, NJPICTURE ON A ZAMBONI Add to Reading List Source URL: flyersskatezone.com Language: English - Date: 2014-09-10 15:13:41 Voorhees Township New Jersey
22	VIRTUA FLYERS SKATE ZONE 6725 RIVER ROAD PENNSAUKEN, NJPICTURE ON A ZAMBONI Add to Reading List Source URL: flyersskatezone.com Language: English - Date: 2015-01-20 09:23:25
23	FLYERS SKATE ZONEDECATUR ROAD PHILADELPHIA, PAPICTURE ON A ZAMBONI Add to Reading List Source URL: flyersskatezone.com Language: English - Date: 2014-09-11 18:25:59
24	13 SESSO - VIA ZAMBONI INC. VIA RAGAZZI DEL 99 DIREZIONALE Add to Reading List Source URL: www.palazzomagnani.it Language: Italian - Date: 2012-09-10 09:27:25
25	FaBiO&and&CiTO:& ontologies&for&describing&bibliographic&resources&and&citations& Silvio&Peroni& Department&of&Computer&Science,&University&of&Bologna,&Mura&Anteo&Zamboni&7,&40126&Bologna,&Italy.& Add to Reading List Source URL: speroni.web.cs.unibo.it Language: English - Date: 2013-02-22 06:14:06 World Wide Web Semantic publishing Ontology Simple Knowledge Organization System Web Ontology Language Resource Description Framework Functional Requirements for Bibliographic Records FOAF Linked data Semantic Web Information Data
26	26 Mark Burgess and Diego Zamboni 26 Short Topics in Add to Reading List Source URL: www.usenix.org - Date: 2015-05-26 12:43:12
27	ATTRIBUTION Thomas ZAMBONI Jean DIONIS Add to Reading List Source URL: www.agen.fr Language: French - Date: 2014-04-22 04:44:50
28	Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacer Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-09-08 04:47:27 Algebra Monoid Unification Semigroup Ring Inverse element ALGOL 68 Abstract algebra Algebraic structures Mathematics
29	Natural deduction environment for Matita Claudio Sacerdoti Coen? and Enrico Tassi? Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {sacerdot,tassi}@cs.unibo.it Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2010-02-23 11:12:50 Mathematical logic Markup languages Mathematical markup languages Logical syntax Automated theorem proving Natural deduction MathML Theorem Formal proof Logic Mathematics Proof theory
30	Working with Mathematical Structures in Type Theory Claudio Sacerdoti Coen and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {sacerdot,tassi}@cs.unibo.i Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2008-03-13 12:28:13 Logic Type theory Metalogic Structure Interpretation Subtype polymorphism Sheaf Function Unification Mathematics Mathematical logic Model theory

UPDATE