JKU Linz  
 
 


Publikationsdetails

Wissenschaftsgebiete 
Zitat: Guillermo Badia Hernandez, Andrew Tedder, "On elimination of quantifiers in some non-classical mathematical theories" , in Mathematical Logic Quarterly, Vol. 64, Seite(n) 140-154, 2018
Original Titel: On elimination of quantifiers in some non-classical mathematical theories
Sprache des Titels: Englisch
Journal: Mathematical Logic Quarterly
Volume: 64
Seitenreferenz: 140-154
Erscheinungsjahr: 2018
Anzahl der Seiten: 15
Reichweite: international
Publikationstyp: Aufsatz / Paper in SCI-Expanded-Zeitschrift
Autoren: Guillermo Badia Hernandez, Andrew Tedder
Forschungseinheiten: Institut für Wissensbasierte Mathematische Systeme
Wissenschaftsgebiete: Mathematik (ÖSTAT:101)
Mathematische Logik (ÖSTAT:101013)
Wahrscheinlichkeitstheorie (ÖSTAT:101024)
Artificial Intelligence (ÖSTAT:102001)
Bildverarbeitung (ÖSTAT:102003)
Machine Learning (ÖSTAT:102019)
Mechatronik (ÖSTAT:202027)
Logik (ÖSTAT:603109)
fodok.jku.at Zum Seitenanfang

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum