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 "Equational logic."
im Bestand: Gesamter Bestand

1 - 10 von 26

	1	The Equationally-Defined Commutator Czelakowski, Janusz. - Cham : Springer International Publishing, 2016, Softcover reprint of the original 1st edition 2015	Verlagsinformation
	2	The Equationally Defined Commutator Czelakowski, Janusz M.. - Cham : Springer International Publishing, 2015, Aufl. 2016	Verlagsinformation
	3	The Equationally-Defined Commutator Cham : Springer International Publishing, 2015, 1st ed. 2015
	4	Is observational congruence on μ-expressions [mu-expressions] axiomatisable in equational horn logic? Mendler, Michael. - Bamberg : Fak. für Wirtschaftsinformatik und Angewandte Informatik, Otto-Friedrich-Univ., 2007
	5	Hybrid Identities and Hybrid Equational Logic Enthalten in Mathematical logic quarterly Bd. 41, 2006, Nr. 2: 190-196. 7 S.
	6	The Equational Logic For Graph Algebras Enthalten in Mathematical logic quarterly Bd. 35, 2006, Nr. 3: 273-282. 10 S.
	7	Fuzzy equational logic Bělohlávek, Radim. - Berlin : Springer, 2005
	8	Restricted Interpolation and the Projective Beth Property in Equational Logic Enthalten in Algebra and logic Bd. 42, Nr. 6, date:11.2003: 398-406
	9	Programming, specification and interactive theorem proving Stehr, Mark-Oliver, 2002
	10	Programming, specification and interactive theorem proving Stehr, Mark-Oliver, 2002

1 - 10 von 26

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte

Aktionen