Zobrazeno 1 - 10
of 118
pro vyhledávání: '"H. Schwichtenberg"'
Autor:
H. Schwichtenberg, K. Spies
Software engineers have integrated proof processing into industrial development tools, and these implementations are now getting very efficient. The chapters deal with: The benefits and technical challenges of sharing formal mathematics among interac
Autor:
H. Schwichtenberg, M. Petitdidier
Publikováno v:
Russian Journal of Earth Sciences. 11:1-4
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::83bc22d1ec1033aa2231ddd6ad0a19b7
https://doi.org/10.2205/2009es000378
https://doi.org/10.2205/2009es000378
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
H. Schwichtenberg, A. S. Troelstra
Publikováno v:
Basic Proof Theory. :367-378
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::800256f0a4a88f5b9e01804585d50d46
https://doi.org/10.1017/cbo9781139168717.013
https://doi.org/10.1017/cbo9781139168717.013
Autor:
Wolfgang Joppich, Ute Gärtel, Anton Schüller, Ulrich Trottenberg, G. Winter, H. Schwichtenberg
Publikováno v:
Future Generation Computer Systems. 10:257-262
Parallel systems have been used mainly in universities and large research institutions up to now. For permanent use in industry and in central service institutions — such as weather centers — the adequate mathematical methods and software are sti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3bcb5a14cb7d21a22bdc84d816db62f0
https://doi.org/10.1016/0167-739x(94)90025-6
https://doi.org/10.1016/0167-739x(94)90025-6
Autor:
D. Dubbers, H. Rose, H. Schwichtenberg, F. Mitschke, J. Hajdu, K. H. Wiederkehr, K. Dransfeld
Publikováno v:
Physik Journal. 48:1034-1037
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28a1a79f4a1ca5555a49074ad88783ad
https://doi.org/10.1002/phbl.19920481219
https://doi.org/10.1002/phbl.19920481219
Autor:
A. S. Troelstra, H. Schwichtenberg
Publikováno v:
Basic Proof Theory
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a57ea63cb974a2caed24347d586d95a2
https://doi.org/10.1017/cbo9781139168717.012
https://doi.org/10.1017/cbo9781139168717.012
Autor:
H. Schwichtenberg, A. S. Troelstra
Another possible title for this chapter might have been “some non-standard logics”, since its principal aim is to illustrate how the methods we introduced for the standard logics M, I and C are applicable in different settings as well. For the il
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d35a1d016ca4605747f6d54de8f6683
https://doi.org/10.1017/cbo9781139168717.010
https://doi.org/10.1017/cbo9781139168717.010