Search
Leader | 00000nz a2200037oc 45 0 | ||
---|---|---|---|
001 | DNB|174092830 (VIAF cluster) | ||
003 | DNB | ||
005 | 20240228082259.0 | ||
008 | 110926n||aznnnaabn | aaa |c | ||
035 | ‡a (DNB)174092830 | ||
024 | 7 | ‡a 174092830 ‡0 http://d-nb.info/gnd/174092830 ‡2 gnd | |
035 | ‡a (DE-101)174092830 | ||
035 | ‡a (DE-588)174092830 | ||
035 | ‡z (DE-588a)174092830 ‡9 v:zg | ||
040 | ‡a DE-605 ‡c DE-605 ‡9 r:DE-605 ‡b ger ‡d 9999 | ||
042 | ‡a gnd6 | ||
075 | ‡b p ‡2 gndgen | ||
075 | ‡b piz ‡2 gndspec | ||
079 | ‡a g ‡q f ‡u v | ||
100 | 1 | ‡a Müller, Tobias ‡d ca. 1748 um | |
400 | 1 | ‡a Mullerus, Tobias ‡d ca. 1748 um | |
400 | 1 | ‡a Müllerus, Tobias ‡d ca. 1748 um | |
548 | ‡a ca. 1748 um ‡4 datl ‡4 https://d-nb.info/standards/elementset/gnd#associatedDate ‡w r ‡i Lebensdaten | ||
885 | ‡a GNDTPDUBL ‡b P ‡c 50.000 ‡z Tobias, Müller ‡0 (DE-101)104167661 ‡0 (DE-588)104167661 ‡0 https://d-nb.info/gnd/104167661 ‡2 gnd | ||
909 | ‡a (gnd) 174092830 ‡9 1 | ||
910 | ‡a extensionsofconstraintsolvingforproofplanning ‡A Extensions of constraint solving for proof planning ‡l eng ‡9 1 | ||
921 | ‡a univ fachbereich informatik ‡b Univ., Fachbereich Informatik ‡9 1 | ||
922 | ‡a gw ‡b de ‡9 1 | ||
930 | ‡a tobias muller ‡c Erica Melis, Tobias Müller and Jürgen Zimmer. Universität des Saarlandes, Fachbereich Informatik ‡9 1 | ||
940 | ‡a eng ‡9 2 | ||
941 | ‡a aut ‡4 aut ‡9 1 | ||
941 | ‡a verfasser ‡e Verfasser ‡9 1 | ||
943 | ‡a 199x ‡9 1 | ||
944 | ‡a am ‡9 1 | ||
950 | ‡a zimmer jurgen ‡A Zimmer, Jürgen ‡d 1971- ‡9 1 | ||
950 | ‡a melis erica ‡A Melis, Erica ‡9 1 | ||
996 | ‡2 LC|n 2010075764 | ||
996 | ‡2 NUKAT|n 2014056695 | ||
996 | ‡2 WKP|Q42794073 | ||
996 | ‡2 ISNI|0000000496186099 | ||
996 | ‡2 SUDOC|164619747 | ||
996 | ‡2 NII|DA10377446 | ||
996 | ‡2 WKP|Q57847571 | ||
996 | ‡2 KRNLK|KAC202196368 | ||
996 | ‡2 ISNI|0000000398441703 | ||
996 | ‡2 RERO|A018778747 | ||
996 | ‡2 RERO|A027424650 | ||
996 | ‡2 LC|no2019098990 | ||
996 | ‡2 BIBSYS|90362438 | ||
996 | ‡2 LC|n 82127539 | ||
996 | ‡2 JPG|500081308 | ||
996 | ‡2 ISNI|0000000448828034 | ||
996 | ‡2 WKP|Q92404276 | ||
996 | ‡2 SUDOC|271491078 | ||
996 | ‡2 ISNI|000000041869838X | ||
996 | ‡2 ISNI|0000000433394675 | ||
996 | ‡2 RERO|A003624434 | ||
996 | ‡2 DBC|87097991643049 | ||
996 | ‡2 WKP|Q90325977 | ||
996 | ‡2 ISNI|0000000393007043 | ||
996 | ‡2 ISNI|0000000395168238 | ||
996 | ‡2 RERO|A026961507 | ||
996 | ‡2 RERO|A016972330 | ||
996 | ‡2 ISNI|0000000134384426 | ||
996 | ‡2 RERO|A018691940 | ||
996 | ‡2 LC|no2013074122 | ||
996 | ‡2 RERO|A026758295 | ||
996 | ‡2 LC|no 93021863 | ||
996 | ‡2 LC|no2009073790 | ||
996 | ‡2 NTA|237947927 | ||
996 | ‡2 WKP|Q41584384 | ||
996 | ‡2 ISNI|0000000060135717 | ||
996 | ‡2 ISNI|0000000493423458 | ||
996 | ‡2 LC|no2008069482 | ||
996 | ‡2 PLWABN|9812847497505606 | ||
996 | ‡2 NTA|07499767X | ||
996 | ‡2 WKP|Q62650530 | ||
996 | ‡2 NTA|143844040 | ||
996 | ‡2 ISNI|0000000367412029 | ||
996 | ‡2 ISNI|0000000402730111 | ||
996 | ‡2 NTA|147570972 | ||
996 | ‡2 LC|n 89630322 | ||
996 | ‡2 WKP|Q89863733 | ||
996 | ‡2 RERO|A000116713 | ||
996 | ‡2 ISNI|0000000454533080 | ||
996 | ‡2 ISNI|0000000026825802 | ||
996 | ‡2 BIBSYS|2089614 | ||
996 | ‡2 RERO|A028892666 | ||
996 | ‡2 BIBSYS|90699500 | ||
997 | ‡a 1748 0 circa 0 0 ‡9 1 | ||
999 | ‡2 DDB|956712975 |