Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: tit all "Logic, Higher-order"
im Bestand: Gesamter Bestand

1 - 10 von 73

	1	Model Existence for Higher Order Logic Benzmüller, Christoph. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	2	Automated theorem proving for dependent typed theories via a translation to higher-order logic Rothgang, Colin. - Berlin : Freie Universität Berlin, 2023
	3	How to Prove Higher Order Theorems in First Order Logic Kerber, Manfred. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
	4	Design and application of a novel higher-order type-n fuzzy-logic-based system for controlling the steering angle of a vehicle: a soft computing approach Enthalten in Soft computing 4.9.2023: 1-16
	5	Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic Enthalten in Journal of automated reasoning 6.8.2022: 1
	6	A Formalization of the Smith Normal Form in Higher-Order Logic Enthalten in Journal of automated reasoning 26.5.2022: 1-31
	7	Extending a brainiac prover to lambda-free higher-order logic Enthalten in International journal on software tools for technology transfer 16.8.2021: 1-21
	8	Extremal fixpoints for higher-order modal logic Bruse, Florian. - Kassel : Universitätsbibliothek Kassel, 2020
	9	Free Higher-Order Logic - Notion, Definition and Embedding in HOL Makarenko, Irina. - Berlin : Freie Universität Berlin, 2020
	10	Learning higher-order logic programs Enthalten in Machine learning 3.12.2019: 1-34

1 - 10 von 73

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte

Aktionen