Výsledky vyhledávání

Obálka

System der deductiven und inductiven Logik : eine Darlegung der Principien wissenschaftlicher Forschung, insbesondere der Naturforschung

Autor Mill, John Stuart, 1806-1873 Vydáno: 1877

Kniha

Obálka

The logic of scientific discovery

Autor Popper, Karl R. (Karl Raimund), 1902-1994 Vydáno: 2002

Kniha

Obálka

Logische Studien : ein Beitrag zur Neubegründung der formalen Logik un der Erkenntnisstheorie

Autor Lange, Friedrich Albert, 1828-1875 Vydáno: 1877

Kniha

Obálka

Logika pro střední školy

Autor Selucký, Oldřich Vydáno: 1995

Kniha

Obálka

Modale Logiken von geflechtartigen Datenstrukturen und ihre Kombination mit temporaler Programmlogik : Dissertation

Autor Kausche, Andreas Vydáno: 1989

Kniha

Obálka

Automated deduction - CADE-13 : 13th international conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings

Vydáno: 1996

Kniha

Obálka

A system of logic, ratiocinative and inductive : being a connected view of the principles of evidence, and the methods of scientific investigation

Autor Mill, John Stuart, 1806-1873 Vydáno: 1851

Kniha

Obálka

Semantics and logics of computation

Vydáno: 1997

Kniha

Obálka

First-order logic and automated theorem proving

Autor Fitting, Melvin, 1942- Vydáno: 1996

Kniha

Obálka

Principles of data mining and knowledge discovery : First European symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997. Proceedings

Vydáno: 1997

Kniha

Obálka

Automated deduction - CADE-14 : 14th International Conference on Automated Deduction, Townswille, North Queensland, Australia, July 13-17, 1997

Vydáno: 1997

Kniha

Obálka

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings

Vydáno: 1997

Kniha

Obálka

Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy

Autor Peregrin, Jaroslav, 1957- Vydáno: 2004

Kniha

Obálka

Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings

Vydáno: 1998

Kniha

Obálka

Field-programmable logic and applications : from FPGAs to computing paradigm. 8th international workshop, FPL '98, Tallinn, Estonia, August 31 - September 3, 1998. Proceedings

Vydáno: 1998

Kniha

Obálka

Logik und Wissenschaftstheorie

Autor Dühring, Eugen Karl, 1833-1921 Vydáno: 1878

Kniha

Obálka

Logique et Histoire des Sciences

Vydáno: 1901

Kniha

Obálka

Logic

Autor Jevons, William Stanley, 1835-1882 Vydáno: 1912

Kniha

Obálka

Zehnstellige Logarithmentafel.

Vydáno: 1919

Kniha

Obálka

Dějiny vědy a techniky v dopravě : věda, technika a my

Autor Folprecht, Jan, 1945- Vydáno: 2006

Kniha

1
2
3
4
5
Další »
[5]