Amanote Research

Amanote Research

    RegisterSign In

A Formalization of the Coach Problem

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-18615-3_28
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2015

Authors
G. Y. R. SchroppJ-J. Ch. MeyerS. Ramamoorthy
Publisher

Springer International Publishing


Related search

The Distributed Constraint Satisfaction Problem: Formalization and Algorithms

IEEE Transactions on Knowledge and Data Engineering
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
1998English

A Formalization of Polytime Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Formalization of Minimalist Syntax

Syntax
LinguisticsLanguage
2016English

A Metamodel for Collaboration Formalization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Study on the Formalization of English Subjunctive Mood

Theory and Practice in Language Studies
2012English

Matching Spatial Ontologies - A Challenge of Formalization

2013English

A Lightweight Formalization of the Metatheory of Bisimulation-Up-To

2015English

Formalization of the Program Reference Language.

1985English

Coach My Career

Bulletin des Médecins Suisses
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy