JKU Linz  
 
 


Publikationsdetails

Wissenschaftsgebiete 
Zitat: Tudor Jebelean, "A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation" , in N. Bjørner, M. Heule, A. Voronkov: LPAR 2024 Complementary Volume, Serie Kalpa Publications in Computing, Vol. 18, EasyChair, Seite(n) 107--116, 2024, ISBN: 2515-1762
Original Titel: A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation
Sprache des Titels: Englisch
Original Buchtitel: LPAR 2024 Complementary Volume
Veröffentlicher: EasyChair
Serie: Kalpa Publications in Computing
Volume: 18
Seitenreferenz: 107--116
Erscheinungsjahr: 2024
ISBN: 2515-1762
Anzahl der Seiten: 10
URL zu weiteren Infos: Link
(http:///publications/paper/n11t)
Reichweite: international
Publikationstyp: Aufsatz / Paper in Tagungsband (referiert)
Autoren: Tudor Jebelean
Forschungseinheiten: Institut für Symbolisches Rechnen
Wissenschaftsgebiete: Mathematik (ÖSTAT:101)
Algebra (ÖSTAT:101001)
Computeralgebra (ÖSTAT:101005)
Geometrie (ÖSTAT:101009)
Kombinatorik (ÖSTAT:101012)
Mathematische Logik (ÖSTAT:101013)
Technische Mathematik (ÖSTAT:101020)
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