( en | de | ru )

 

Disambiguierung von "de Guzmán, Inman P."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computing Equilibrium Models Using Signed Formulas.

, , und . Computational Logic, Volume 1861 von Lecture Notes in Computer Science, Seite 688-702. Springer, (2000)

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.

Carlos Guzmán

Alvaro Rivas Guzmán

Henry Guzmán Bulla

Alexander Guzmán Monsalve

Francisco Digón Guzmán

 

Weitere Publikationen von Autoren mit dem selben Namen

Computing Equilibrium Models Using Signed Formulas., , und . Computational Logic, Volume 1861 von Lecture Notes in Computer Science, Seite 688-702. Springer, (2000)TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving., , und . JELIA, Volume 838 von Lecture Notes in Computer Science, Seite 198-216. Springer, (1994)Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics., , und . IBERAMIA, Volume 2527 von Lecture Notes in Computer Science, Seite 161-171. Springer, (2002)Reductions for non-clausal theorem proving., , , und . Theor. Comput. Sci., 266 (1-2): 81-112 (2001)Satisfiability Testing for Boolean Formulas Using Delta-trees., , , , und . Stud Logica, 72 (1): 85-112 (2002)Bases for closed sets of implicants and implicates in temporal logic., , und . Acta Inf., 38 (9): 599-619 (2002)Increasing the efficiency of automated theorem proving., , und . J. Appl. Non Class. Logics, 5 (1): 9-29 (1995)A temporal negative normal form which preserves implicants and implicates., , und . J. Appl. Non Class. Logics, 10 (3-4): 243-272 (2000)Temporal Reasoning over Linear Discrete Time., , und . JELIA, Volume 1126 von Lecture Notes in Computer Science, Seite 303-319. Springer, (1996)Generalization of some properties of relations in the context of functional temporal×modal logic., , und . Int. J. Comput. Math., 85 (3&4): 371-383 (2008)