Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q57389435)
Watch
English
Die Beweisentwicklungsumgebung $\Omega$ -M krp
No description defined
In more languages
edit
Statements
instance of
scholarly article
0 references
title
Die Beweisentwicklungsumgebung $\Omega$ -M krp
(English)
0 references
author
Michael Kohlhase
object named as
Michael Kohlhase
series ordinal
3
0 references
author name string
Xiaorong Huang
series ordinal
1
0 references
Manfred Kerber
series ordinal
2
0 references
Erica Melis
series ordinal
4
0 references
Dan Nesmith
series ordinal
5
0 references
Jörn Richts
series ordinal
6
0 references
Jörg Siekmann
series ordinal
7
0 references
publication date
15 February 1996
0 references
published in
Computer Science - Research and Development
0 references
volume
11
0 references
page(s)
20-26
0 references
issue
1
0 references
exact match
https://scigraph.springernature.com/pub.10.1007/s004500050036
0 references
Identifiers
DOI
10.1007/S004500050036
0 references
DBLP publication ID
journals/ife/HuangKKMNRS96
1 reference
stated in
DBLP Dataset 2021-01-02
retrieved
28 January 2021
Sitelinks
Wikipedia
(0 entries)
edit
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit