Suning Wang und Caines - Info zur Person

(1 - 7 von 7

)

Scientific and Technical Aerospace Reports - Google Books

books.google.com.ua

AUTOMATED REASONING WITH FUNCTION EVALUATION FOR COCOLOG Suning wang (McGill Univ., Montreal, Quebec.) and Peter E. Caines (McGill Univ., ...

Control Theory, Stochastic Analysis And Applications books.google.co.uk › books

books.google.co.uk

Peter E. Caines and Suning Wang. Classical and Logic-Based Regulators for Partially Observed Automata: Dynamic Programming Formulation. In Proceeding ...

dblp: Peter E. Caines

dblp.uni-trier.de

List of computer science publications by Peter E. Caines

Suning Wang - DBLPdblp.org › Persons

dblp.org

· Suning Wang, Peter E. Caines: Automated Reasoning with Function Evaluation for COCOLOG. Ann. Math. Artif. Intell. 20(1-4): (1997).

Automated reasoning with function evaluation for COCOLOG |...

link.springer.com

Suning Wang. Department of Electrical Engineering, McGill University, University Street, Montreal, P.Q., H3A 2A7, Canada. Peter E. Caines.

COCOLOG: a conditional observer and controller logic for finite...

hal.inria.fr

Citation. Peter E. Caines, Suning Wang. COCOLOG: a conditional observer and controller logic for finite machines. [Research Report] RR-1714, INRIA

Automated reasoning with function evaluation for COCOLOG

hal.inria.fr

von S Wang · · Zitiert von: 1 — Suning Wang 1, 2 Peter E. Caines 1, 2. Détails. 1 Department of Electrical and Computer Engineering [Montréal]. 2 MEFISTO. CRISAM - Inria Sophia Antipolis › inria

Alle Infos zum Namen "Suning Wang"

Verwandte Suchanfragen zu Suning Wang

Carsten Richter
Anatoliy Senyshyn
Murat Yavuz

Björn Schwarz
Sylvio Indris

Person "Wang" (6)
Vorname "Suning" (4)
Name "Wang" (6011)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Suning Wang und Caines Person-Info