Einführung in die mathematische Logik ein Lehrbuch von Rautenberg, Wolfgang

DE-634
DE-858
DE-1028
DE-Aug4
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-91
DE-384
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
Volltext

Model theory

Volltext

Classical first-order logic von Shapiro, Stewart 1951-, Kouri Kissel, Teresa ca. 20./21. Jh

Inhaltsverzeichnis

Classical first-order logic von Shapiro, Stewart 1951-, Kouri Kissel, Teresa ca. 20./21. Jh

DE-12
DE-473
URL des Erstveröffentlichers

Independence-friendly logic a game-theoretic approach von Mann, Allen L., Sandu, Gabriel 1954-, Sevenster, Merlijn

DE-12
DE-92
DE-188
URL des Erstveröffentlichers

Fundamentals of physical design and query compilation von Toman, David, Weddell, Grant E. 1954-

URL des Erstveröffentlichers

Independence-friendly logic a game-theoretic approach von Mann, Allen L., Sandu, Gabriel 1954-, Sevenster, Merlijn

Inhaltsverzeichnis

A concise introduction to mathematical logic von Rautenberg, Wolfgang

A concise introduction to mathematical logic von Rautenberg, Wolfgang

DE-634
DE-91
DE-384
DE-19
DE-703
DE-20
DE-29
DE-739
Volltext

Orte, Listen, Aggregate von Deiser, Oliver 1971-

Inhaltstext
Inhaltsverzeichnis

A concise introduction to mathematical logic von Rautenberg, Wolfgang

DE-634
DE-91
DE-384
DE-19
DE-355
DE-703
DE-739
Volltext

A concise introduction to mathematical logic von Rautenberg, Wolfgang

Markov logic an interface layer for artificial intelligence von Domingos, Pedro 1965-, Lowd, Daniel

Zentralblatt MATH
Inhaltsverzeichnis

The principles of mathematics revisited von Hintikka, Jaakko 1929-2015

Model theory von Chang, Chen C., Keisler, H. Jerome 1936-

Model theory von Chang, Chen C., Keisler, H. Jerome

Reasoning robots the art and science of programming robotic agents von Thielscher, Michael

lizenzfrei
Inhaltsverzeichnis

Stratified languages and permutation models von Körner, Friederike

Representing plans under uncertainty a logic of time, chance, and action von Haddawy, Peter F.

Volltext

On the expressive power of first-order logic with built in predicates von Schweikardt, Nicole 1973-

Inhaltsverzeichnis