PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Popov, Nikolaj"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Theorema: Towards computer-aided mathematical theory exploration.

, , , , , , , , , , und . J. Applied Logic, 4 (4): 470-504 (2006)

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.

Keine Personen gefunden für den Autorennamen Popov, Nikolaj
Eine Person hinzufügen mit dem Namen Popov, Nikolaj
 

Weitere Publikationen von Autoren mit dem selben Namen

Experimental Program Verification in the Theorema System., , und . ISoLA (Preliminary proceedings), Volume TR-2004-6 von Technical Report, Seite 92-99. Department of Computer Science, University of Cyprus, (2004)Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs., und . Mathematics and Computers in Simulation, 79 (8): 2302-2309 (2009)Theorema: Towards computer-aided mathematical theory exploration., , , , , , , , , und 1 andere Autor(en). J. Applied Logic, 4 (4): 470-504 (2006)Automated Reasoning., , , , , und . Hagenberg Research, Springer, (2009)Combining Logic and Algebraic Techniques for Program Verification in Theorema., , und . ISoLA, Seite 67-74. IEEE, (2006)Proving Partial Correctness and Termination of Mutually Recursive Programs., und . SYNASC, Seite 153-156. IEEE Computer Society, (2010)