Boris - PDFSEARCH.IO - Document Search Engine

Boris
Results: 2158

#	Item
241	Boris Yakobowski DEA Programmation ´ Etude s´emantique d’un Add to Reading List Source URL: www.yakobowski.org Language: French - Date: 2015-06-05 08:39:02
242	Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Logic programming Logic in computer science Method of analytic tableaux Admissible rule Modal logic Unification
243	Z A P I S N I K 21. sjednice Gradskog vijeća Grada Komiže Održane dana 18. veljačegodine, u Galeriji "Boris Mardešić", s početkom u 17:30 sati. Nazočni vijećnici: Edo Bogdanović, Toni Borčić, Jurica Jo Add to Reading List Source URL: www.komiza.hr Language: Croatian - Date: 2016-04-19 04:15:27
244	Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators John Ardelius1 and Boris Mej´ıas2 1 Swedish Institute of Computer Science Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Distributed data storage Distributed hash table Chord Kademlia Peer-to-peer Peer-to-Peer Protocol Koorde Scalable Source Routing
245	ZAPISNIK 4. SJEDNICE GRADSKOG VIJECA GRADA KOMIZE OdrZane 2. prosincagodine. u galeriji "Boris Marde5ii", s podetkom Add to Reading List Source URL: www.komiza.hr Language: Croatian - Date: 2014-03-12 08:14:39
246	EAST EUROPEAN ART SEEN FROM GLOBAL PERSPECTIVES: PAST AND PRESENTGaleria Labirynt, Lublin Add to Reading List Source URL: labirynt.com Language: English - Date: 2014-07-25 05:21:48 Contemporary art Postmodern art Postmodernism Art Public art Performance art Boris Groys Maja and Reuben Fowkes Post-socialist art
247	Nina L. Khrushcheva „Verrat russischer Intellektueller“ In den 1990er Jahren, als sich herausstellte, dass Boris Jelzins Post-Kommunismus eine korrupte Oligarchie war, fragten sich viele Analysten: „Wer hat Russlan Add to Reading List Source URL: www.literaturimnebel.at Language: German - Date: 2014-04-09 11:57:33
248	COMMENTARY Vaccination controversies 1287 Add to Reading List Source URL: palumbi.stanford.edu Language: English - Date: 2012-04-13 19:08:06 Fisheries science Sustainable fishery Fisheries management Overfishing Wild fisheries Maximum sustainable yield Fish stock Stock assessment Boris Worm Environmental impact of fishing Fishing down the food web
249	PDF Document Add to Reading List Source URL: boris.weisfeiler.com - Date: 2005-08-15 13:45:35
250	Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Ontology Proof theory Methods of proof Automated theorem proving Abox Tbox Sequent Method of analytic tableaux Description logic Calculus Blocking

UPDATE