HOME
|
IMPRESSUM
|
DATENSCHUTZ
|
KIT
KIT-Bibliothek
Neue Suche
Technische Informationsbibliothek (TIB)
Treffer insgesamt: 16
/
Benötigte Zeit: 0.387 Sekunden
Guiding an Automated Theorem Prover with Neural Rewriting
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Piepenbrock, Jelle
–
2022
Learning Theorem Proving Components
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Chvalovský, Karel
–
2021
Fast and Slow Enigmas and Parental Guidance
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Goertzel, Zarathustra A.
–
2021
Leaming to Solve Geometric Construction Problems from Images
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Macke, Jaroslav
–
2021
Online Machine Learning Techniques for Coq: A Comparison
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Zhang, Liao
–
2021
First Neural Conjecturing Datasets and Experiments
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef
–
2020
Guiding Inferences in Connection Tableau by Recurrent Neural Networks
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Piotrowski, Bartosz
–
2020
The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Blaauwbroek, Lasse
–
2020
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Jakubuv, Jan
–
2020
Property Invariant Embedding for Automated Reasoning
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Olšák, Miroslav
–
2020
Diagnostische Implantate, DiaImplant
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Aravindalochanan, Kuppusamy
–
2019
Matlab & tools
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Hoffmann, Josef
–
2002
Synthesis and new conception of North Sea Research (SYCON) : Working group 7: phytoplankton
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Tillmann, Urban
–
2001
Resonanzionisationsmassenspektroskopie an Plutonium mit einem Reflektron-Flugzeitmassenspektrometer
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Franz-Josef
–
1994
Herstellung und Charakterisierung poly- und monoklonaler Antikörper zum Nachweis von Trichothecenen
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Pauly, Josef Urban
–
1988
Ziele und Durchsetzungsstrategien bei Werkstätten als Einrichtungen der beruflichen Rehabilitation und als Arbeitsmarkt für Behinderte
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Stratmann, Franz Josef
–
1981
Deutsche Nationalbibliothek
Treffer insgesamt: 182
/
Benötigte Zeit: 0.620 Sekunden
Alternative Wirtschaftspolitik : Wissenschaft - Beratung - Publizistik : Rudolf Hickel zum 80. Geburtstag / Axel Troost/Mechthild Schrooten/Heinz-J. Bontrup/Carsten Sieling (Hrsg.)
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Troost, Axel [Herausgeber]
Gute fachliche Praxis - Bodenfruchtbarkeit / Bundesinformationszentrum Landwirtschaft
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Brunotte, Joachim [Verfasser]
Handbuch Soziale Arbeit : Grundlagen der Sozialarbeit und Sozialpädagogik
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Albus, Stefanie Verfasser]
HLA-DRB1 and HLA-DQB1 genetic diversity modulates response to lithium in bipolar affective disorders / Sigrid Le Clerc, Laura Lombardi, Azmeraw T. Amare, Klaus Oliver Schubert, Liping Hou, Scott R. Clark, Sergi Papiol, Micah Cearns, Urs Heilbronner, …
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Le Clerc, Sigrid [Verfasser]
Klagelieder : ein Leseoratorium in fünf Szenen / Einführung und Zusammenstellung: Albert J. Urban, Trier
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Albert J. [Herausgeber]
–
2021
Global transpiration data from sap flow measurements: the SAPFLUXNET database
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Poyatos, Rafael Verfasser]
Medizinische Versorgung zwischen Fortschritt und Zeitdruck : Auswirkungen gesellschaftlicher Beschleunigungsprozesse auf das Gesundheitswesen / Martin Scherer, Josef Berghold, Helmwart Hierdeis (Hg.)
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Scherer, Martin [Herausgeber]
wildleser-almanach 9 : literarisches panopotikum / johanna ernst Baldanders, Helena Beuchert, blume, Daniel Böswirth, Sabine Burkhardt [und weitere]
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Baldanders, johanna ernst
Machine Learning Guidance for Connection Tableaux / by Michael Färber, Cezary Kaliszyk, Josef Urban
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Färber, Michael [Verfasser]
TacticToe: Learning to Prove with Tactics / by Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Gauthier, Thibault [Verfasser]
Foreword / by George Labahn, James H. Davenport, Josef Urban
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Labahn, George Verfasser]
Global transpiration data from sap flow measurements: the SAPFLUXNET database
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Poyatos, Rafael Verfasser]
Evolution of the VISPA-project / Martin Erdmann, Benjamin Fischer, Lukas Geiger, Erik Geiser, Dennis Daniel Nick Noll, Yannik Alexander Rath, Marcel Rieger, Felix Matthew Schlüter, David Josef Schmidt, Martin Urban, Ralf Florian von Cube
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Erdmann, Martin Verfasser]
Artur Michael Landgraf (1895-1958) : der gelehrte Bamberger Weihbischof - Dokumentationen / Josef Urban (Hg.)
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef [Herausgeber]
–
2018
Das 1x1 des Bauhofs / Josef Kibele, Bernd Augustin, Jan C. Behmann, Harald Diemer, Sigurd Ehringer [und weitere]
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Kibele, Josef [Verfasser]
[Sedmikostelí, Gotický román z Prahy] ; Die Rache der Baumeister : Ein Kriminalroman aus Prag / Miloš Urban
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Miloš
Die Rache der Baumeister : Ein Kriminalroman aus Prag / Miloš Urban
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Miloš [Verfasser]
Erlebte Kirche : von Löwen über Rom nach Zürich / Peter Henrici ; herausgegeben von Urban Fink ; mit einem Geleitwort von Christian M. Rutishauser SJ
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Henrici, Peter [Verfasser]
Handbuch Soziale Arbeit : Grundlagen der Sozialarbeit und Sozialpädagogik
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Ahnert, Lieselotte Verfasser]
Mathematical Software – ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Davenport, James H. [Herausgeber]
Weitere Treffer...
BVB - BibliotheksVerbund Bayern Solr-Zugang
Treffer insgesamt: 343
/
Benötigte Zeit: 0.813 Sekunden
Die Bamberger Kirche in Auseinandersetzung mit dem Ersten Vatikanischen Konzil ; Selbstverl. des Historischen Vereins Bamberg [u.a.] / Urban, Josef / 1982
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Die Bamberger Kirche in Auseinandersetzung mit dem Ersten Vatikanischen Konzil ; Selbstverl. des Historischen Vereins Bamberg [u.a.] / Urban, Josef / 1982
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Automated reasoning with analytic tableaux and related methods ; 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023 : proceedings / 2023
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Das Bistum Bamberg um 1007 ; Festgabe zum Millennium / 2006
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Das Bistum Bamberg in Geschichte und Gegenwart ; Ed. du Signe / 1997
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Die Krönung der Kunigunde ; Studien zum Hochaltar in der Pfarrkirche zu Schnaittach und zum Kunigundenjubiläum 1901 / 2001
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Pfarrarchive - bedrohtes Kulturgut vor Ort ; ein Handbuch / 1995
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Das Bistum Bamberg in Geschichte und Gegenwart ; Ed. du Signe / 1992
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Der Bischof aus Staffelstein ; Lebensstationen von Pankraz Dinkel (1811 - 1894) ; Ausstellung zum 100. Todestag im Heimatmuseum Staffelstein / 1994
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Mathematical software – ICMS 2018 ; 6th international conference, South Bend, IN, USA, July 24-27, 2018, proceedings / 2018
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Die Bamberger Erzbischöfe ; Lebensbilder / 1997
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Das Bistum Bamberg in Geschichte und Gegenwart ; Ed. du Signe / 1992
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Jus Naturae Liberatum Ac Repurgatum A Principiis Lubricis,&Multa Confusione Per Doctores Heterodoxos Inductis ; Gastl / Desing, Anselm / 1753
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Artur Michael Landgraf (1895-1958) ; der gelehrte Bamberger Weihbischof - Dokumentationen / 2018
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Ziele und Durchsetzungsstrategien bei Werkstätten als Einrichtungen der beruflichen Rehabilitation und als Arbeitsmarkt für Behinderte ; prämiert beim Forschungspreis 1980 der Bundesanstalt für Arbeit / Stratmann, Franz Josef / 1981
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Michael Deinlein ; (1800 - 1875) ; zum 200. Geburtstag des vierten Bamberger Erzbischofs / 2000
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Hastrman ; zelený román / Urban, Miloš / 2001
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Das Bistum Bamberg in Geschichte und Gegenwart ; Ed. du Signe / 1996
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Das Bistum Bamberg in Geschichte und Gegenwart ; Ed. du Signe / 1994
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Iuris naturae larva detracta compluribus libris sub titulo Iuris Naturae prodeuntibus, ut Puffendorffianis, Heineccianis, Wolffianis etc. ; aliis, quorum principia juris naturae falsa ostenduntur ; ignorantiam, quam catholicis affingunt, in ipsis …
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Weitere Treffer...
Suchmaschine des Österreichischen Bibliothekenverbundes
Treffer insgesamt: 178
/
Benötigte Zeit: 0.795 Sekunden
Das Bistum Bamberg in Geschichte und Gegenwart. 4 Die Zeit des Erzbistums / bearb. von Josef Urban, Archiv des Erzbistums Bamberg
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
1996
Čechove v Dolních Rakousích zvláště ve Vídni a za hranicemi : soustavná zpráva a adresy všech slovanských spolků dolnorakouských a českoslovanských spolků zahraničných
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
1892
Das Bistum Bamberg in Geschichte und Gegenwart. 2 Pfarreien, Klöster und Stifte - religiöses Leben im Spätmittelalter : (ca. 1250 - 1520) / bearb. von Josef Urban
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
1994
Das Bistum Bamberg in Geschichte und Gegenwart. 1 Das Bistum im Hochmittelalter : (1007 - ca. 1250) / bearb. von Josef Urban
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
1992
Bamberg wird Erzbistum
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef [VerfasserIn]
–
2000
Das neue Erzbistum
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef [VerfasserIn]
–
2007
Von der Notwendigkeit und dem Inhalt eines Reichstheatergesetzes : die privatrechtlichen Probleme des Bühnenrechts nach geltendem Rechte und den deutschen und österreichischen Gesetzentwürfen
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef M. [VerfasserIn]
–
1915
Habermannův mlýn
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef [VerfasserIn]
–
2001
Rauchen und Räucherungen in der Urzeit Europas
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef [VerfasserIn]
–
1931
"Übernatur" und Medizin
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Hubert Josef [VerfasserIn]
–
1946
Weitere Treffer...
Die Österreichischen Landesbibliotheken
Treffer insgesamt: 47
/
Benötigte Zeit: 0.871 Sekunden
Lindenbauer, Alois, 1947-: ST.A.LL im Schloss / 2008 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Albert J., 1959-: Heilige Wörter / 2007 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Albert J., 1959-: Lexikon der chinesischen Zeichen / 2007 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Albert J., 1959-: Chinesisch Wörterbuch / 2007 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Lexikon der Wallfahrtsorte / 2006 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Zahlen, Maße, Einheiten und Symbole / 2005 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
¬Der¬ Dom in neuem Glanz / 2000 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Albert J., 1959-: ¬Der¬ Zisterzienserorden in postalischen Belegen / 1993 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Albert J., 1959-: ¬Der¬ Zisterzienserorden in Briefmarken / 1983 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Wolf-Schönach, Erwald, 1927-: ¬Die¬ steirische Landschaft / 1982 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Klinkan, Alfred, 1950-1994: Steira Erdn / 1978 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Smetana, Josef František, 1801-1861: ¬Die¬ Gemeinde Hollenstein/Ybbs / 1974 - ( - In: (Amtsblatt ; 1./6. 1972/77) - (: Heimatkundliche Beilage zum Amtsblatt der Bezirkshauptmannschaft Amstetten ; 1./6. 1972/77)) ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef: 100 Jahre Sparkasse der Stadt Zistersdorf / 1959 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Hubert Josef: "Übernatur" und Medizin / 1946 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Zügel - Wrba - Zanetti / 1907 - ( Katalog der ... Ausstellung ; 24) ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Knaben-Handarbeit / 1889 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Loritz, Urban, 1807-1881: Blätter aus dem Tagebuche meiner Pilgerreise in das heilige Land im Jahre 1855 / 1862 ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Joseph, 1872-1933: Kaiserin-Elisabeth-Capelle im Parke des Kurhauses vom goldenen Kreuz in Baden (NÖ) - ( - In: (Der Architekt ; 8.1902)) ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Joseph, 1872-1933: Beamten-Curhaus vom goldenen Kreuz in Baden - ( - In: (Der Architekt ; 8.1902)) ( NÖLB )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Milos: ¬Die¬ Rache der Baumeister / 2018 ( LBE )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Schematismus d. katholischen Lehr- u. Erziehungs-Institute, Missions- u. Humanitätsanstalten u. Betriebe in Österreich / [ca. 1937] ( LBE )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
¬Das¬ Bistum Bamberg um 1007 / 2006 - ( Studien zur Bamberger Bistumsgeschichte ; 3) ( WStLA )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Keim, Franz: ¬Ein¬ Schillerbuch, der Jugend Wiens gewidmet zur Erinnerung an den Todestag des großen deutschen Dichters von dem Gemeinderate ihrer Vaterstadt zum 9. Mai 1905 / [1905] ( WStLA )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef: ¬Der¬ Handarbeits-Unterricht für die männliche Jugend und der Slöjdunterricht in der Schule vom Standpunkte der Pädagogik / 1885 ( WStLA )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Studien zur Bamberger Bistumsgeschichte ( WStLA )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
¬Das¬ Bistum Bamberg um 1007 / 2006 - ( Studien zur Bamberger Bistumsgeschichte ; 3) ( SP 2 )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Michael Deinlein / 2000 - ( Kleinausstellungen im Archiv des Erzbistums Bamberg ; 5) ( SP 2 )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Nachlässe / 1994 - ( Beiträge zum Archivwesen der katholischen Kirche Deutschlands ; 3) ( SP 2 )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
¬Der¬ Bischof aus Staffelstein / 1994 - ( Kleinausstellungen im Archiv des Erzbistums Bamberg ; 3 | Staffelsteiner Schriften ; 4) ( SP 2 )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
¬Das¬ Bistum Bamberg in Geschichte und Gegenwart ; 2, Pfarreien, Klöster und Stifte - Religiöses Leben im Spätmittelalter (ca. 1250 - 1520) / 1994 - ( Das Bistum Bamberg in Geschichte und Gegenwart ; 2) ( SP 2 )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
¬Das¬ Bistum Bamberg in Geschichte und Gegenwart ; 1, ¬Das¬ Bistum im Hochmittelalter (1007 - ca. 1250) / 1992 - ( Das Bistum Bamberg in Geschichte und Gegenwart ; 1) ( SP 2 )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Mühlbauer, Josef: Priester, Forscher, Pioniere / 1952 ( SP 2 )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Missale Romanum / 1751 ( SP 2 )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef: ¬Die¬ Bamberger Kirche in Auseinandersetzung mit dem Ersten Vatikanischen Konzil ( SP 2 )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef: ¬Die¬ Bamberger Kirche in Auseinandersetzung mit dem Ersten Vatikanischen Konzil - ( Bericht des Historischen Vereins für die Pflege der Geschichte des ehemaligen Fürstbistums Bamberg ; Beih. 15) ( SP 2 )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Studien zur Bamberger Bistumsgeschichte ; 3, ¬Das¬ Bistum Bamberg um 1007 / 2006 - ( Studien zur Bamberger Bistumsgeschichte ; 3) ( StKrms )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Schematismus der katholischen Lehr- und Erziehungs-Institute, Missions-, Humanitätsanstalten und Betriebe in Österreich / 1937 ( StKrms )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
¬An¬ Ehren und an Siegen reich / 1908 ( StKrms )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Musäus, Johann Karl August: Rolands Knappen / 1898 ( StKrms )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Loritz, Urban: Blätter aus dem Tagebuche meiner Pilgerreise in das heilige Land im Jahre 1855 / 1859 ( StKrms )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef: Urban, Josef: Frühreden auf die Sonn- und Festtage des katholischen Kirchenjahrs ; 1, Erster Theil / 1849 - ( Frühreden auf die Sonn- und Festtage des katholischen Kirchenjahrs ; 1) ( StKrms )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef: Urban, Josef: Frühreden auf die Sonn- und Festtage des katholischen Kirchenjahrs ; 2, Zweiter Theil / 1849 - ( Frühreden auf die Sonn- und Festtage des katholischen Kirchenjahrs ; 2) ( StKrms )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef: Urban, Josef: Frühreden auf die Sonn- und Festtage des katholischen Kirchenjahrs ; 3, Dritter Theil / 1849 - ( Frühreden auf die Sonn- und Festtage des katholischen Kirchenjahrs ; 3) ( StKrms )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Loritz, Urban: ¬Der¬ Herr sei mit Euch! / 1845 ( StKrms )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Studien zur Bamberger Bistumsgeschichte ( StKrms )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef: Frühreden auf die Sonn- und Festtage des katholischen Kirchenjahrs ( StKrms )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Vom Main zum Jura ( StKrms )
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
HBZ, NRW-Verbundkatalog via GVI
Treffer insgesamt: 139
/
Benötigte Zeit: 0.981 Sekunden
Lexikon der chinesischen Zeichen ; [Nachschlagewerk für die traditionellen Lang- und Kurzformen der Zeichen] / Urban, Albert / 2007
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Das Stuttgarter Lexikon biblischer Begriffe ; von A wie Abraham bis Z wie Zion / Urban, Albert / 2010
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
<<Das>> Bistum im Hochmittelalter ; (1007 - ca. 1250) / 1992
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
2., verb. Aufl ; ein Beitrag zur Geschichte des Waldenburger Berglandes / Urban, Joseph /
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
<<Die>> Bamberger Kirche in Auseinandersetzung mit dem Ersten Vatikanischen Konzil ; Historischer Verein / Urban, Josef / 1982
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Puppm ; Egerländer Mundartgedichte / Urban, Josef / 1961
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
<<Die>> Bamberger Kirche in Auseinandersetzung mit dem Ersten Vatikanischen Konzil ; Historischer Verein / Urban, Josef / 1982
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
100 Jahre Sparkasse der Stadt Zistersdorf ; [1859-1959] / Urban, Josef / 1959
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Dossier zu: Joseph Urban ; [KMB] / [2019-]
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
144 S. ; Egerländer Mundartgedichte / Urban, Josef /
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
<<Der>> Fuschsstollen in Neu-Weißstein und seine Gäste ; Niederschles. Verl.-Anst. / Urban, Joseph / [1913]
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Beschreibung der Reichsdomaene Brandeis mit d. Gute Prerow u. Dektar im Königreiche Böhmen ; mit e. Kt / Urban, Josef / 1856
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
17 S. ; Kt / Urban, Josef /
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Untersuchung über das pH-Wert-abhängige Wachstum von Staphylococcus epidermidis und Staphylococcus aureus in kontinuierlicher Kultur ; DE-38M / Urban, Josef / 1990
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
<<Die>> Bamberger Kirche in Auseinandersetzung mit dem Ersten Vatikanischen Konzil ; Historischer Verein / Urban, Josef / 1982-
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Thema: Kombination von Kernspintomographie und Kernspinangiographie im Vergleich mit Herzkatheter und Cineangiokardiographie in der Diagnostik angeborener Herzfehler bei Kindern ; DE-38M / Urban, Johannes Josef / 2002
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Von der Notwendigkeit und dem Inhalt eines Reichstheatergesetzes ; die privatrechtlichen Probleme des Bühnenrechts nach geltendem Rechte und den deutschen und österreichischen Gesetzentwürfen / Urban, Josef M / 1915
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Resonanzionisationsmassenspektroskopie an Plutonium mit einem Reflektron-Flugzeitmassenspektrometer ; DE-361 / Urban, Franz-Josef / 1994
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Cesta Slováka ku bratrům slavenským na Moravě a v Čechách od Miloslava Hurbana 1839 ; [Pešt 1841] / Hurban, Miloslav Josef / [1929]
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Von der Notwendigkeit und dem Inhalt eines Reichstheatergesetzes ; die privatrechtlichen Probleme des Bühnenrechts nach geltendem Rechte und den deutschen und österreichischen Gesetzentwürfen / Urban, Josef M / 1915
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Weitere Treffer...
Staatsbibliothek zu Berlin
Treffer insgesamt: 60
/
Benötigte Zeit: 0.987 Sekunden
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 1821, 2023, Proceedings / Ramanayake, Revantha. - Cham : Springer Nature, 2023
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Pustým mestem : Praha, jaro 2020 / Hroch, Pavel *1967-*. - Prague : KANT, 2020
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Zamilované povídky / Viewegh, Michal *1962-*. - Vydání první. - Praha : Euromedia Group, 2020
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Rodinné povídky / Mornstajnová, Alena *1963-*. - Vydání první. - Praha : Listen, 2019
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
KAR : pohrební hostina za jedno mesto / Urban, Milos *1967-*. - Vydání první. - Praha : Argo, [2019]
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Az se zamiluju / Soukupová, Petra *1982-*. - Vydání první. - Praha : Euromedia, 2018
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Mesto mezi zelenými kopci / Viewegh, Michal *1962-*. - Vydání první. - Praha : Euromedia, 2018
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Záverka aneb ztízená moznost happy-endu / Urban, Milos *1967-*. - Vydání 1. - Praha : Argo, 2017
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Tenkrát v ráji / Urban, Josef. - 1. vydání. - Praha : Fragment, 2015
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urbo kune : paralelní roman / Urban, Milos *1967-*. - Vydání 1. - Praha : Argo, [2015]
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Weitere Treffer...
KOBV Berlin-Brandenburg
Treffer insgesamt: 132
/
Benötigte Zeit: 1.054 Sekunden
Automated reasoning with analytic tableaux and related methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023 : proceedings
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
TABLEAUX 32. 2023 Prag
–
2023
Die Bücher der Chronika der drei Schwestern
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Musäus, Johann Karl August
–
1900
Rolands Knappen
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
1898
Deutsche Gedenkhalle : Bilder aus der vaterländischen Geschichte; Textband: / [Buchschmuck v. Heinrich Lefler; Joseph Urban; Joh. Jos. Tautenhayn; Rudolf v. Larisch; Ludwig Hujer]
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
1907
Von der Notwendigkeit und dem Inhalt eines Reichstheatergesetzes : die privatrechtlichen Probleme des Bühnenrechts nach geltendem Rechte und den deutschen und österreichischen Gesetzentwürfen
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef M.
–
1915
Die Bamberger Kirche in Auseinandersetzung mit dem Ersten Vatikanischen Konzil; Band 2: Quellenband
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef
–
1982
Die Bamberger Kirche in Auseinandersetzung mit dem Ersten Vatikanischen Konzil; Band 1: [Hauptband]
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef
–
1982
Habermann
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
2011
Nachlässe
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
1994
Joseph Urban : die Wiener Jahre des Jugendstilarchitekten und Illustrators ; 1872 - 1911
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Kristan, Markus
–
2000
Das Bistum Bamberg um 1007 : Festgabe zum Millennium
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
2006
Untersuchung über das pH-Wert abhängige Wachstum von Staphylococcus epidermidis und Staphylococcus aureus in kontinuierlicher Kultur
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef
–
1990
Mord in der Josefstadt : ein Kriminalroman aus dem alten Prag
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Miloš
–
2010
250 Jahre Alma Mater Theresiana : Festschrift
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
2001
Mathematical software – ICMS 2018 : 6th international conference, South Bend, IN, USA, July 24-27, 2018, proceedings
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
International Congress on Mathematical Software 6. 2018 South Bend, Ind.
–
2018
Lord Mord : Pražský román
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Miloš
–
2008
Das Bistum im Hochmittelalter (1007 - ca. 1250)
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
1992
Pfarreien, Klöster und Stifte - Religiöses Leben im Spätmittelalter (ca. 1250 - 1520)
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
1994
Stín katedrály : božská krimikomedie
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Miloš
–
2003
Pfarrarchive : bedrohtes Kulturgut vor Ort ; ein Handbuch
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
1995
Zamilované povídky
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Viewegh, Michal
–
2020
KAR : Pohřební hostina za jedno město
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Miloš
–
2019
Závěrka aneb ztížená možnost happy-endu
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Miloš
–
2017
Mrtvý holky : 10 divných povídek
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Miloš
–
2007
Santiniho jazyk : román světla
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Miloš
–
2005
Im Dunkel der Kathedrale : Roman
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Miloš
–
2008
Märchen-Kalender für 1915
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
1915
Das Bistum Bamberg in Geschichte und Gegenwart
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
2007
12 Märchen
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Andersen, Hans Christian
–
1920
Grimm's Märchen
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
191
Weitere Treffer...
Österreichische Nationalbibliothek
Treffer insgesamt: 104
/
Benötigte Zeit: 1.004 Sekunden
Arie v lehkem slohu. Hraje se na patery spusob. Solo pro harmonium.
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Urban, Josef , KomponistIn: Urban, Josef
Kritische Analyse der sozialen Integration einer sogenannten "Problemgruppe" im Wiener Stadtraum - die Communtiy aus Afghanistan
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Kohlbacher, Josef, 1958- , VerfasserIn: Kohlbacher, Josef
–
2023
Archiv für Gartenbau. : Band 32, Heft 2, : 1984.
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
[2021]
COVID-19 im Flucht- und Integrationskontext : soziale Implikationen der Pandemie für die syrischen und afghanischen Communities sowie NGOs der Flüchtlingsbetreuung in Wien
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Kohlbacher, Josef, 1958- , VerfasserIn: Kohlbacher, Josef
–
2021
Afghan/inn/en in Österreich - Perspektiven von Integration, Inklusion und Zusammenleben
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Kohlbacher, Josef, 1958- , VerfasserIn: . [HerausgeberIn]Kohlbacher, Josef
–
2020
Chemistry of peptides and proteins. : Vol. 1, : Proceedings of the Third USSR - FRG Symposium, Makhachkala (USSR), October 2–6, 1980
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
[2019]
Enhancing ENIGMA Given Clause Guidance
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Jakubův, Jan , VerfasserIn:
–
[2018]
System Description: XSL-Based Translator of Mizar to LaTeX
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Bancerek, Grzegorz , VerfasserIn:
–
[2018]
First Experiments with Neural Translation of Informal to Formal Mathematics
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Wang, Qingxiang , VerfasserIn:
–
[2018]
Ropa : zápas o světovou moc : hospodářsko-politická studie
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Zischka, Anton, 1904-1997 , VerfasserIn: Zischka, Anton
–
2018
Weitere Treffer...
Schweizerische Nationalbibliothek Bern Helveticat
Treffer insgesamt: 4
/
Benötigte Zeit: 0.844 Sekunden
Mathematical software - ICMS 2018 6th international conference, South Bend, IN, USA, July 24-27, 2018 : proceedings
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
International Congress on Mathematical Software 6. 2018 South Bend, Ind. (DE-588)1164387472 gnd Verfasser aut
–
2018
Die Luzerner Nuntiatur 1586-1873 zur Behördengeschichte und Quellenkunde der päpstlichen Diplomatie in der Schweiz
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Fink, Urban 1961- (DE-588)121068196 gnd
–
1997
Einfluss unterschiedlicher Eisenversorgung und Körperaktivität auf den Myoglobingehalt der Skelettmuskulatur der wachsenden Ratte
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Eigenmann, Urban Josef Ernst
–
1978.
Die Backsteine
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Zemp, Josef
–
1898.
hebis-Retro / Digitalisierte Zettelkataloge
Treffer insgesamt: 4
/
Benötigte Zeit: 1.125 Sekunden
[Urban, Josef: s. Ein glueckliches neues Jahr] / / Urban, Josef. - 1966
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
[Allenspach, Josef Urban: Die Burgfluhbethi] / / Allenspach, Josef Urban. - 1892
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
[Allenspach, Josef Urban: Getäuschte Weiberlist] / / Allenspach, Josef Urban. - 1886
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
[Urban, Josef: s. Billard, Charles Michel: Die Schleimhaut des Magens und Darmoanals im gesunden sowchl als kräkhaften Zustands [Recerches d`anatomie pathologique sur les divers aspects sains et morbides que peuvent présenter et les intyestins, deutsch]. 2. Aufl. 1833] / / Urban, Josef
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Verbundkatalog Öffentlicher Bibliotheken
Treffer insgesamt: 7
/
Benötigte Zeit: 1.116 Sekunden
Habermann - Im Krieg stirbt die Unschuld zuerst / Urban, Josef; Herzsprung, Hannah - [Nortorf] : Lighthouse Home Entertainment, 2011
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Habermann / Herz, Juraj; Limmer, Wolfgang - 2011
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Das Bistum Bamberg um 1007 : Festgabe zum Millenium / Urban, Josef; Andraschke, Joachim - Bamberg : Archiv des Erzbistums Bamberg, 2006
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Archiv des Erzbistums Bamberg / Urban, Josef - 1. Aufl. - Bamberg : Archiv des Erzbistums Bamberg, 2002
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Beiträge zum Archivwesen ... ; Bd. 3 ; Nachlässe / Urban, Josef - 1994
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Die Bamberger Kirche in Auseinandersetzung mit dem Ersten Vatikanischen Konzil : in zwei Bänden / Urban, Josef - Bamberg : Selbstverl. des Hist. Vereins, 1982
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Das Bistum Bamberg in Geschichte und Gegenwart : Band 1-5 / Zeißner, Werner; Urban, Josef - Strasbourg : Editions du Signe
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Verbundkatalog GBV
Treffer insgesamt: 198
/
Benötigte Zeit: 1.206 Sekunden
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings / Ramanayake, Revantha; Urban, Josef - 1st ed. - Cham : Springer, 2023
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / Ramanayake, Revantha; Urban, Josef - Cham : Springer Nature, 2023
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / Ramanayake, Revantha; Urban, Josef - 1st ed. 2023. - Cham : Springer Nature Switzerland, 2023
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Automated reasoning with analytic tableaux and related methods : 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings / Ramanayake, Revantha; Urban, Josef - Cham : Springer, [2023]
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Guiding an Automated Theorem Prover with Neural Rewriting / Piepenbrock, Jelle; Heskes, Tom - In: Automated reasoning (2022), S. 597-617
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Továrna na maso / Urban, Miloš; Růt, Pavel - Vydání první. - Praha : Argo, 2022
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Joseph Urban - unlocking an art deco bedroom / Urban, Joseph; Dehan, Amy Miller - [Cincinnati] : Cincinnati Art Museum, 2022
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Learning Theorem Proving Components / Chvalovský, Karel; Jakubův, Jan - In: Automated reasoning with analytic tableaux and related methods (2021), S. 266-280
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
The Role of Entropy in Guiding a Connection Prover / Zombori, Zsolt; Urban, Josef - In: Automated reasoning with analytic tableaux and related methods (2021), S. 218-235
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Towards Finding Longer Proofs / Zombori, Zsolt; Csiszárik, Adrián - In: Automated reasoning with analytic tableaux and related methods (2021), S. 167-186
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Weitere Treffer...
SWB, Südwestdeutscher Bibliotheksverbund
Treffer insgesamt: 231
/
Benötigte Zeit: 1.571 Sekunden
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings / / Ramanayake, Revantha. - 1st ed.. - Cham : Springer, 2023
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / / Ramanayake, Revantha [HerausgeberIn] ; Urban, Josef [HerausgeberIn]. - Cham : Springer Nature, 2023
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / / Ramanayake, Revantha [HerausgeberIn] ; Urban, Josef [HerausgeberIn]. - 1st ed. 2023.. - Cham : Springer Nature Switzerland, 2023
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Automated reasoning with analytic tableaux and related methods : 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings / TABLEAUX (32. : 2023 : Prag) ; Ramanayake, Revantha [HerausgeberIn]. - Cham : Springer, [2023] / (Lecture notes in computer science;14278) /
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Joseph Urban - unlocking an art deco bedroom / Urban, Joseph [KünstlerIn] ; Dehan, Amy Miller [HerausgeberIn] ; Long, Christopher. - [Cincinnati] : Cincinnati Art Museum, 2022 /
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Archiv für Gartenbau : Band 32, Heft 2: 1984 / / Alex, Harald [MitwirkendeR] ; Benkenstein, Heinz [MitwirkendeR] ; Blaue, Helga [MitwirkendeR] et al. . - Reprint 2021. [Online-Ausgabe]. - Berlin : De Gruyter, [2021]
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Erinnerung an einen tragischen Unfall : ein alter Weismainer Bildstock erwacht zu neuem Leben / / Bauer, Hans. - In: Vom Main zum Jura. - Hierschaid-Seigendorf : Verlag Vom Main zum Jura, ISSN 0177-1558. - Bd. 30 (2021), S. 18-26 : Illustrationen
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Lidová kultura na Hané : sborník z XV. odborné konference o Hané / Urban, Josef [HerausgeberIn]. - 1. vydání. - Prostějov : Hanácký folklorní spolek, 2020 /
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
"Klein-Vierzehnheiligen" : die Barockkapelle St. Johannes der Täufer zu Schirnaidel, Pfarrei Eggolsheim - zum 300jährigen Weihejubiläum 2020 / / Urban, Josef. - In: Vom Main zum Jura. - Hierschaid-Seigendorf : Verlag Vom Main zum Jura, ISSN 0177-1558. - Bd. 29 (2020), S. 8-127 : Illustrationen
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Ordnungswidrigkeitengesetz : Handkommentar / / Gassner, Kathi. - 2. Auflage. - Baden-Baden : Nomos, 2020
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Weitere Treffer...
Verbundkatalog hebis, Hessen
Treffer insgesamt: 116
/
Benötigte Zeit: 3.543 Sekunden
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings / / Ramanayake, Revantha. - 1st ed. - Cham : Springer, 2023
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Automated Reasoning with Analytic Tableaux and Related Methods / / Ramanayake, Revantha. - Cham : Springer Nature, 2023
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / / Ramanayake, Revantha. - 1st ed. 2023 - Cham : Springer Nature Switzerland, 2023
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Verbundprojekt: Diagnostische Implantate - DiaImplant : Schlussbericht : Zeitraum: 01.10.2010-30.06.2014 / / Aravindalochanan, Kuppusamy. - Freiburg : Albert-Ludwig-Universität Freiburg, 2019
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Evolution of the VISPA-project / / Erdmann, Martin. - Aachen : Universitätsbibliothek der RWTH Aachen, 2019
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Erlebte Kirche / / Henrici, Peter. - 1. Aufl. - Zürich : Theologischer Verlag Zürich, 2018
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Erlebte Kirche : Von Löwen über Rom nach Zürich / / Henrici, Peter. - 1st ed. - Zürich : TVZ Theologischer Verlag Zürich, 2018
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Mathematical Software – ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / / Davenport, James H. - 1st ed. 2018 - Cham : Springer International Publishing, 2018
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Continuous-wave optical parametric oscillation tunable up to 8 μm wavelength / / Breunig, Ingo. - Freiburg : Universität, 2019
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Aksamitna scena : trzy czeskie sztuki o transformacji / / Viewegh, Michal. - Poznań : Instytut Filologii Słowiańskiej Uniwersytetu im. Adama Mickiewicza w Poznaniu, 2017
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Weitere Treffer...
Status
Angezeigte Treffer: 228
/
Benötigte Gesamtzeit: 3.578 Sekunden
Ihre Suchanfrage war:
Person
: Urban, Josef
19 Kataloge wurden ausgewählt.
4 davon konnte(n) nicht (oder nicht vollständig) berücksichtigt werden bzw. lieferten keine Treffer:
NEBIS
Für die Benutzung dieses Katalogs müssen Cookies und JavaScript in Ihrem Browser aktiviert sein.
Westschweizer Bibliotheksverbund
Problem während der Verbindung.
swissbib
Die Auswertung der Katalog-Antwort erbrachte kein Ergebnis.
IDS Basel/Bern
Die Auswertung der Katalog-Antwort erbrachte kein Ergebnis.
Ein Katalog wird unter anderem dann nicht berücksichtigt, wenn er nicht innerhalb des Timeouts antwortet (30 Sekunden).
im ganzen WWW
in Seiten auf Deutsch
in Seiten aus Deutschland