Logik und Informatik

Logik und Informatik

Bibliographic Details
Main Authors:	Kreutzer, S, Schweikardt, N
Format:	Journal article
Published:	2004

Similar Items

Review of: Kronenberg, Andreas: Logik und Leben: Kulturelle Relevanz der Didinga und Longarim, Sudan
by: Gillies, E
Published: (1974)

The Expressive Power of Two−Variable Least Fixed−Point Logics
by: Grohe, M, et al.
Published: (2005)

CIT546 – APPLIED INFORMATICS [INFORMATIK GUNAAN] JUN 2017
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2017)

CIT546 – APPLIED INFORMATICS [INFORMATIK GUNAAN] JUN. 2015
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2015)

CIT546 – APPLIED INFORMATICS [INFORMATIK GUNAAN] JUN 2016
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2016)

CIT547 – Informatics Project Management (Pengurusan Projek Informatik)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2023)

Pengaturcaraan logik
by: Wan Ishak, Wan Hussain, et al.
Published: (2007)

Get (Logik)
by: Azzali, Fazli
Published: (2001)

Pengaturcaraan logik /
by: Wan Hussain Wan Ishak, et al.
Published: (2007)

Model theory makes formulas large
by: Dawar, A, et al.
Published: (2007)

Ionen-und elektronenoptische zylinderlinsen und prismen /
by: 457735 Herzog, Von Richard

CIT563 – CONSUMER HEALTH INFORMATICS [INFORMATIK KESIHATAN PENGGUNA] JUN 2017
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2017)

CIT546 – APPLIED INFORMATICS [INFORMATIK GUNAAN] DEC. 2016 - JAN. 2017
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2017)

CIT546 – APPLIED INFORMATICS [INFORMATIK GUNAAN] DEC. 2015 - JAN. 2016
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2016)

CIT546 – APPLIED INFORMATICS [INFORMATIK GUNAAN] DEC. 2014 - JAN. 2015
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2015)

CIT563 – CONSUMER HEALTH INFORMATICS [INFORMATIK KESIHATAN PENGGUNA] JUN 2016
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2016)

Pengenalan logik digit /
by: 332183 Potton, A., et al.
Published: (1990)

CIT547 – Informatics Project Management (Pengurusan Projek Informatik) - February/March 2022
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2022)

CIT563 – Consumer Health Informatics (Informatik Kesihatan Pengguna) July/August 2021
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2021)

Komplexität und semantische Transparenz im Deutschen und Englischen
by: Fischer, Klaus
Published: (2007)

Fenster aus Holz und Metall; Konstruktion und Maueranschlag
by: 331371 Schneck, Adolf Gustav
Published: (1953)

Chemische und biologische Laboratorien; Planung, bau und Einrichtung. /
by: 237467 Schramm, Werner
Published: (1957)

Asas rekabentuk logik komputer/
by: 334542 Ahmad Ismail
Published: (1981)

Rekabentuk logik sistem berdigit /
by: 258577 Adznan Jantan
Published: (1990)

CIT547 – INFORMATICS PROJECT MANAGEMENT [PENGURUSAN PROJEK INFORMATIK] DEC. 2016 - JAN. 2017
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2017)

CIT547 – INFORMATICS PROJECT MANAGEMENT [PENGURUSAN PROJEK INFORMATIK] DEC. 2015 - JAN. 2016
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2016)

CIT547 – INFORMATICS PROJECT MANAGEMENT [PENGURUSAN PROJEK INFORMATIK] DEC. 2014 - JAN. 2015
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2015)

Grammatische Komplexität und semantische Transparenz in deutschen und englischen Satzstrukturen
by: Fischer, Klaus
Published: (2018)

Der positivismus und die untrennbarkeit von recht und moral
by: Green, L
Published: (2019)

Typsysteme und Typinferenzsysteme
by: Hinze, R
Published: (1989)

Buro-Und verwaltungsgebaude /
by: Hoffman, Von Kurt
Published: (1956)

Heidin und Mörin. Zur Materialität, Visualität und Medialität höfischer Texte im Spätmittelalter
by: Domeisen, N
Published: (2022)

CSS 201 - Rekabentuk Logik Berdigit
by: PPSM, Pusat Pengajian Sains Matematik
Published: (1988)

Pakej pembelajaran rekabentuk Litar Logik /
by: 372371 Zulkefli Abu Bakar
Published: (2000)

Mesin basuh fuzzy logik [microfilm] /
by: Mollie Urai
Published: (2001)

Penganalisa logik berasaskan komputer peribadi /
by: 207007 Prakash Sowndappan
Published: (1999)

Penganalisa logik berasaskan komputer peribadi /
by: 209762 Vijayeaswaran Letchumanan
Published: (1999)

Pakej CAI untuk logik berangka /
by: 379028 Siti Zaiton Ibrahim
Published: (1991)

Merekabentuk suatu alat analisis logik /
by: 331636 Alias Talib
Published: (1986)

Pro defunctis: Lassos frühe Toten- und Memorialkompositionen zwischen Individualisierung und Generalisierung
by: Leitmeir, C
Published: (2024)