[PDF] description logic free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


16 books found also search"description logic" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
924948 Alexandre Rademaker SpringerBriefs in computer science
A proof theory for description logics
9781447140023, 1447140028, 144714001X, 9781447140016
Springer 2012 109 English 2 Mb pdf GET
1436902 Carsten Lutz Complexity of Description Logics with Concrete Domains [PhD Thesis] Technische Hochschule Aachen 2002 225 English 1 Mb pdf GET
1436908 Jeff Z. Pan Description Logics: Reasoning Support for the Semantic Web [PhD Thesis] University of Manchester 2004 215 English 1 Mb pdf GET
940377 Zoran Salcic, Asim Smailagic (auth.) Digital Systems Design and Prototyping: Using Field Programmable Logic and Hardware Description Languages [2 ed.]
978-0-7923-7920-1, 978-0-306-47030-1
Springer US 2002 621 English 15 Mb pdf GET
656302 Zoran Salcic, Asim Smailagic Digital Systems Design and Prototyping: Using Field Programmable Logic and Hardware Description Languages, Second Edition [2nd ed.]
9780306470301, 9780792379201, 0792379209
Springer 2000 633 English 15 Mb pdf GET
834379 Bill Keller Center for the Study of Language and Information - CSLI Lecture Notes 44
Feature Logics, Infinitary Descriptions and Grammar
1881526259, 9781881526254, 1881526267, 9781881526261
CSLI Publications 1993 192 English 2 Mb djvu GET
834307 Bill Keller Center for the Study of Language and Information - CSLI Lecture Notes 44
Feature Logics, Infinitary Descriptions, and Grammar
1881526259, 9781881526254, 1881526267, 9781881526261
CSLI Publications 1993 192 English 52 Mb pdf GET
975367 Peter Naur (auth.) Studies in Cognitive Systems 18
Knowing and the Mystique of Logic and Rules: True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science [1 ed.]
978-90-481-4609-3, 978-94-015-8549-1
Springer Netherlands 1995 368 English 6 Mb pdf GET
1436919 Felix Distel Learning Description Logic Knowledge Bases from Data Using Methods from Formal Concept Analysis [PhD Thesis] Technische Universität Dresden 2011 224 English 1 Mb pdf GET
1075656 Imre Ruzsa (auth.) Nijhoff International Philosophy Series 10
Modal Logic with Descriptions [1 ed.]
978-90-481-8266-4, 978-94-017-2294-0
Springer Netherlands 2001 125 English 6 Mb pdf GET
341739 Ralf Küsters (eds.) Lecture Notes in Computer Science 2100 : Lecture Notes in Artificial Intelligence
Non-Standard Inferences in Description Logics [1 ed.]
3540423974, 9783540423973
Springer-Verlag Berlin Heidelberg 2001 254 English 2 Mb pdf GET
1436912 Birte Glimm Querying Description Logic Knowledge Bases [PhD Thesis] University of Manchester 2007 192 English 1 Mb pdf GET
1436917 Yu Ding Tableau-based Reasoning for Description Logics with Inverse Roles and Number Restrictions [PhD Thesis] Concordia University 2008 172 English 2 Mb pdf GET
1513573 Franz Baader The Description Logic Handbook Theory, Implementation and Applications Cambridge University Press 2010 English 5 Mb pdf GET
638 Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (editors) The Description Logic Handbook: Theory, Implementation and Applications [1st ed.]
0521781760, 9780521781763
CUP 2003 573 English 2 Mb pdf GET
596192 Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (editors) The Description Logic Handbook: Theory, Implementation and Applications [2nd ed.]
9780511711787, 9780521876254, 9780521150118
CUP 2007 622 English 2 Mb pdf GET

 Webber R.E.
Аубакиров Т.О., Белоцерковский С.М., и др.
Бобров С.Т., Грейсух Г.И., Туркевич Ю.Г.
Строук Дж. (G.W.Stroke)
Thomas Wasow
Зыков А.
Alicia Dickenstein, Ioannis Z. Emiris
Singer M.F.
Клини С.К. (Kleene S.C.)
Курош А. Г.
Шабат Б.В.
Franklin P.
Романко В.К.
Фещенко, Шкиль, Николенко.
Погорелов А.И.
Viktor Prasolov and Yuri Solovyev
Gibson C.G.
Peter B. Gilkey
Molk J. (ed.)
Александров, Маркушевич, Хинчин. (ред.)

pixelthree dimensionalcyclotron resonanceelectron backscatter diffractioncarrier proteinskalman filterworkperoxisomescrystal structure