Autor der Publikation

A Computer Algebra Approach to Relational Systems Using Gröbner Bases.

, , , , und . RelMiCS, Volume 2561 von Lecture Notes in Computer Science, Seite 124-133. Springer, (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Computer Algebra Approach to Relational Systems Using Gröbner Bases., , , , und . RelMiCS, Volume 2561 von Lecture Notes in Computer Science, Seite 124-133. Springer, (2001)A Simple GUI for Developing Applications That Use Mathematical Software Systems., und . AISC, Volume 8884 von Lecture Notes in Computer Science, Seite 99-119. Springer, (2014)Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem., und . AISC, Volume 1930 von Lecture Notes in Computer Science, Seite 157-173. Springer, (2000)An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra., , und . IEA/AIE (Vol. 2), Volume 1416 von Lecture Notes in Computer Science, Seite 687-696. Springer, (1998)A Method of Logic Deduction and Verification in KBS Using Positive Integers., , und . CASC, Seite 461-475. Springer Berlin Heidelberg, (2001)Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System.. CASC, Volume 12291 von Lecture Notes in Computer Science, Seite 528-542. Springer, (2020)Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria., , , und . EUROVAV, Seite 53-65. Kluwer, (1999)An algebraic model for implementing expert systems based on the knowledge of different experts., und . Math. Comput. Simul., (2015)A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking., , und . Math. Comput. Simul., 58 (3): 203-214 (2002)A Rule-Based Expert System for Vaginal Cytology Diagnosis., , und . AISC, Volume 8884 von Lecture Notes in Computer Science, Seite 34-48. Springer, (2014)