 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 114  |
| ||
 |
Ihre Aktion | Suchen (Systematiken (XSYS)) 68Q55 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Rohit parikh on logic, language and society Başkent, Can. - Cham : Springer, 2017 |
|
| |||
|
2. |
Gödel's disjunction : the scope and limits of mathematical knowledge Horsten, Leon *1966-*. - First edition. - Oxford : Oxford University Press, 2016 
|
|
| |||
|
3. |
Handbook of metadata, semantics and ontologies Sicilia, Miguel-Angel *1973-*. - New Jersey : World Scientific, [2014]
|
|
| |||
|
4. |
Programming with higher-order logic Miller, Dale *1956-*. - 1. publ. - Cambridge [u.a.] : Cambridge University Press, 2012
|
|
| |||
|
5. |
Meaning, logic and ludics Lecomte, Alain. - London [u.a.] : Imperial College Press [u.a.], 2011 |
|
| |||
|
6. |
From semantics to computer science : essays in honour of Gilles Kahn Kahn, Gilles. - Cambridge : Cambridge Univ. Press, 2009 |
|
| |||
|
7. |
Information and knowledge : a constructive type-theoretical approach Primiero, Giuseppe. - 1. ed. - Dordrecht : Springer, 2008 |
|
| |||
|
8. |
Theoretische Informatik : Petri-Netze Priese, Lutz. - Berlin : Springer, 2003 |
|
| |||
|
9. |
Process algebra with timing Baeten, Jos C. M.. - Berlin : Springer, 2002 |
|
| |||
|
10. |
Semantik und Programmverifikation Walther, Christoph *1950-*. - 1. Aufl. - Stuttgart : Teubner, 2001 |
|
| |||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
|
1 - 10 von 114 |
|
|
|
1 - 10 von 114 |
|
||||||||||||||||||||