1![Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007 Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007](https://www.pdfsearch.io/img/d47df21c8c27f2b927b8809e050b7481.jpg) | Add to Reading ListSource URL: formal.iti.kit.eduLanguage: English - Date: 2016-07-22 17:55:15
|
---|
2![System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal](https://www.pdfsearch.io/img/c0ac8dcfba62e0510b4e11db22f6101e.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2012-07-25 07:17:52
|
---|
3![System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology](https://www.pdfsearch.io/img/2db64541d3691b1d53f9cdce363d6d08.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2018-07-19 05:32:19
|
---|
4![System Feature Description: Importing Refutations into the GAPT Framework Cvetan Dunchev Alexander Leitsch Tomer Libal System Feature Description: Importing Refutations into the GAPT Framework Cvetan Dunchev Alexander Leitsch Tomer Libal](https://www.pdfsearch.io/img/e22c3f7dd51485d8843e7bae14ee38a4.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2012-07-25 08:00:06
|
---|
5![Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH Yining Wu Overseeing Professor: Prof. Steffen H¨olldobler Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH Yining Wu Overseeing Professor: Prof. Steffen H¨olldobler](https://www.pdfsearch.io/img/7e0d8adc7256d64d5974946838db8b18.jpg) | Add to Reading ListSource URL: icr.uni.luLanguage: English - Date: 2014-12-05 12:20:34
|
---|
6![ECL Series FULL SIZE DESCRIPTION ECL (Emitter Coupled Logic) clock oscillators provide MECL 10K and 10HH compatible signals for applications such as high speed computing, graphic workstations, digital communications and ECL Series FULL SIZE DESCRIPTION ECL (Emitter Coupled Logic) clock oscillators provide MECL 10K and 10HH compatible signals for applications such as high speed computing, graphic workstations, digital communications and](https://www.pdfsearch.io/img/765094ec721972aa5161746a78a72521.jpg) | Add to Reading ListSource URL: standardcrystalcorp.comLanguage: English - Date: 2004-02-12 16:41:08
|
---|
7![EEL4712 Digital Design Department of Electrical and Computer Engineering University of Florida Spring SemesterCatalog Description: Prereq: EEL3701. Advanced modular logic, design languages, finite EEL4712 Digital Design Department of Electrical and Computer Engineering University of Florida Spring SemesterCatalog Description: Prereq: EEL3701. Advanced modular logic, design languages, finite](https://www.pdfsearch.io/img/9ced8a71d332acc33427a2e55d49d06a.jpg) | Add to Reading ListSource URL: www.gstitt.ece.ufl.eduLanguage: English - Date: 2018-01-07 17:35:07
|
---|
8![OL_SHA256 SHA-256 Processor Rev 0.9 General Description OL_SHA256 SHA-256 Processor Rev 0.9 General Description](https://www.pdfsearch.io/img/b19b3170fccf62f6e932c81607c1d4b3.jpg) | Add to Reading ListSource URL: www.ocean-logic.comLanguage: English - Date: 2011-03-20 21:11:23
|
---|
9![ECL Series HALF SIZE DESCRIPTION ECL (Emitter Coupled Logic) clock oscillators provide MECL 10K and 10HH compatible signals for applications such as high speed computing, graphic workstations, digital communications and ECL Series HALF SIZE DESCRIPTION ECL (Emitter Coupled Logic) clock oscillators provide MECL 10K and 10HH compatible signals for applications such as high speed computing, graphic workstations, digital communications and](https://www.pdfsearch.io/img/63d7748a974edf070d5f27bc9aebbe96.jpg) | Add to Reading ListSource URL: standardcrystalcorp.comLanguage: English - Date: 2004-02-12 16:41:11
|
---|
10![SoftFacts: A Top-k Retrieval Engine for a Tractable Description Logic Accessing Relational Databases Umberto Straccia ISTI-CNR, Via G. Moruzzi 1, IPisa, Italy SoftFacts: A Top-k Retrieval Engine for a Tractable Description Logic Accessing Relational Databases Umberto Straccia ISTI-CNR, Via G. Moruzzi 1, IPisa, Italy](https://www.pdfsearch.io/img/851e88528fda2535bf362c08e64201a2.jpg) | Add to Reading ListSource URL: www.umbertostraccia.itLanguage: English - Date: 2015-10-30 09:06:27
|
---|