UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 83

Sortiert nach

Reduktionssysteme : Rechnen und Schließen in gleichungsdefinierten Strukturen

Springer-Lehrbuch

Avenhaus, Jürgen

1995

Signatur: TVD1981

Process algebra : equational theories of communicating processes

Cambridge tracts in theoretical computer science : 50 (Alle Bände)

2010

Signatur: TVD2343

Elementare Aussagenlogik : mit ... 6 Tabellen

Mathematik für Informatiker

1991

Signatur: TVD1818

Fuzzy-Logik : Einführung in die algebraischen und logischen Grundlagen

Springer-Lehrbuch

Boehme, Gert

1993

Signatur: TVD1915

The calculus of computation : decision procedures with applications to verification

2007

Signatur: TVD2288

Boolean reasoning : the logic of Boolean equations

Brown, Frank M

1990

Signatur: TVD1842

Model based transformations for quantified Boolean formulas

Dissertationen zur künstlichen Intelligenz : 329 (Alle Bände)

Bubeck, Uwe

2010

Signatur: TVD2335, P2258

Mathematik für Informatiker

Signatur: TVD1614

Mathematik für Informatiker. 1. Die Methode der Mathematik

Mathematik für Informatiker (Alle Bände)

2., korr. Aufl, 1981

Signatur: TVD1614(2)-1

Mathematik für Informatiker. 1. Die Methode der Mathematik

Mathematik für Informatiker (Alle Bände), Informatik-Fachberichte : 35 (Alle Bände)

1980

Signatur: TVD1614-1

Logic and its applications

1996

Signatur: TVD2042

Triangular norm based measures and games with fuzzy coalitions

Theory and decision library : Series C, Game theory, mathematical programming and mathematical economics : 10 (Alle Bände)

1993

Signatur: TVD1949

Der logische Entwurf von Schaltkreisen : Grundlagen der Synthese von Schaltkreisen in einheitlicher Darstellung ; Eigenschaften und Anwendungen von Schaltkreisen aus Relais, Röhren, Transistoren und Magnetkernen

Caldwell, Samuel Hawks

1964

Signatur: TVD1088

Mathematics and logic for digital devices

Culbertson, James T

Reprint, 1968

Signatur: TVD1282

Logic and structure

Universitext

Dalen, Dirk <<van>>

5. ed, 2013

Signatur: TVD1591(5)

Truth, deduction and computation : logic and semantics for computer science

Principles of computer science series

Davis, Ruth E

1. [Dr.], 1989

Signatur: TVD1795

Diskrete Mathematik im Klartext

Im Klartext : Informatik

Dean, Neville

2003

Signatur: TVD2204

Introduction to discrete mathematics for software engineering

Macmillan computer science series

Denvir, Tim

1986

Signatur: TVD1729

Normalization by evaluation

Eberl, Matthias

2002

Signatur: D13372

Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken

Ebinger, Werner

1994

Signatur: D10149

Mathematisch-strukturelle Grundlagen der Informatik : mit 71 Tabellen

Springer-Lehrbuch

Ehrig, Hartmut

2. Aufl, 2001

Signatur: TVD2115(2)

In the light of logic

Logic and computation in philosophy

Feferman, Solomon

1998

Signatur: TBP4086

First order logic and automated theorem proving

Graduate texts in computer science

Fitting, Melvin

2. ed, 1996

Signatur: TVD1787(2)

First order logic and automated theorem proving

Texts and monographs in computer science

Fitting, Melvin

1990

Signatur: TVD1787

Introduction to process algebra : with 11 tables

Texts in theoretical computer science

Fokkink, Willem J

2000

Signatur: TVD2270

1 – 25 von 83

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(83)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(83)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(46)
Deutsch
(26)

Systemstelle

TVD
(83)
TCL
(3)
TCS
(2)
TBM
(1)
TBP
(1)
TCK
(1)
TOC
(1)
TVA
(1)
TVC
(1)
TVE
(1)
TVU
(1)
WGD
(1)

7 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Reduktionssysteme : Rechnen und Schließen in gleichungsdefinierten Strukturen

Process algebra : equational theories of communicating processes

Elementare Aussagenlogik : mit ... 6 Tabellen

Fuzzy-Logik : Einführung in die algebraischen und logischen Grundlagen

The calculus of computation : decision procedures with applications to verification

Boolean reasoning : the logic of Boolean equations

Model based transformations for quantified Boolean formulas

Mathematik für Informatiker

Mathematik für Informatiker. 1. Die Methode der Mathematik

Mathematik für Informatiker. 1. Die Methode der Mathematik

Logic and its applications

Triangular norm based measures and games with fuzzy coalitions

Der logische Entwurf von Schaltkreisen : Grundlagen der Synthese von Schaltkreisen in einheitlicher Darstellung ; Eigenschaften und Anwendungen von Schaltkreisen aus Relais, Röhren, Transistoren und Magnetkernen

Mathematics and logic for digital devices

Logic and structure

Truth, deduction and computation : logic and semantics for computer science

Diskrete Mathematik im Klartext

Introduction to discrete mathematics for software engineering

Normalization by evaluation

Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken

Mathematisch-strukturelle Grundlagen der Informatik : mit 71 Tabellen

In the light of logic

First order logic and automated theorem proving

First order logic and automated theorem proving

Introduction to process algebra : with 11 tables

Suchergebnisse filtern