The top documents tagged [literal forall]

A KobrA and OCL model for backward state-space search planning and partial order-planning with STRIPS Ana Emília (aemq@cin.ufpe.br) Jairson Vitorino (jv@cin.ufpe.br)

A KobrA and OCL model for backward state-space search planning and partial order-planning with STRIPS Ana Emília ([email protected]) Jairson Vitorino ([email protected])

110 views
Ana Emília (aemq@cin.ufpe.br) Jairson Vitorino (jv@cin.ufpe.br) Setembro, 2004

Ana Emília ([email protected]) Jairson Vitorino ([email protected]) Setembro, 2004

24 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS