VIAF

Virtual International Authority File

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‏