Automated reasoning on-board autonomous spacecraft

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Published in AI*IA 97: Advances in Artificial Intelligence (1997) Lecture Notes in Computer Science, Vol. 1321
Pages	290-301
DOIs	https://doi.org/10.1007/3-540-63576-9_116
Publication status	Published - 1997

Note: Published in AI*IA 97: Advances in Artificial Intelligence (1997) Lecture Notes in Computer Science, Vol. 1321

Keywords

Automated reasoning on-board autonomous spacecraft
Monekosso, N. D. & Remagnino, P., 1997.
Research output: Contribution to conference › Paper › peer-review

@inproceedings{58c46329e0414feca3f997ab86495d95,

title = "Automated reasoning on-board autonomous spacecraft",

keywords = "Computer science and informatics",

author = "N.D. Monekosso and P. Remagnino",

note = "Note: Published in AI*IA 97: Advances in Artificial Intelligence (1997) Lecture Notes in Computer Science, Vol. 1321",

year = "1997",

doi = "10.1007/3-540-63576-9\_116",

language = "English",

isbn = "9783540635765",

pages = "290--301",

booktitle = "Published in AI*IA 97: Advances in Artificial Intelligence (1997) Lecture Notes in Computer Science, Vol. 1321",

}

TY - GEN

T1 - Automated reasoning on-board autonomous spacecraft

AU - Monekosso, N.D.

AU - Remagnino, P.

N1 - Note: Published in AI*IA 97: Advances in Artificial Intelligence (1997) Lecture Notes in Computer Science, Vol. 1321

PY - 1997

Y1 - 1997

KW - Computer science and informatics

U2 - 10.1007/3-540-63576-9_116

DO - 10.1007/3-540-63576-9_116

M3 - Conference contribution

SN - 9783540635765

SP - 290

EP - 301

BT - Published in AI*IA 97: Advances in Artificial Intelligence (1997) Lecture Notes in Computer Science, Vol. 1321

ER -