• Login
    View Item 
    •   DSpace Home
    • BIBLIOTECA DIGITAL: Teses & Dissertações
    • Teses & Dissertações
    • View Item
    •   DSpace Home
    • BIBLIOTECA DIGITAL: Teses & Dissertações
    • Teses & Dissertações
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes

    Thumbnail
    View/Open
    D - ROJO, VANESSA ROBERTA.pdf (2.534Mb)
    Date
    2003
    Author
    Rojo, Roberta Vanessa
    Metadata
    Show full item record
    Subject
    Teses
    Lógica simbólica e matemática
    Inteligência artificial
    Ciencia da Computação
    xmlui.dri2xhtml.METS-1.0.item-type
    Dissertação
    URI
    https://hdl.handle.net/1884/24751
    Collections
    • Teses & Dissertações [6964]

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV
     

     

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_typeThis CollectionBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_type

    My Account

    LoginRegister

    Statistics

    View Usage Statistics

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV