Search Results - Jakubův, Jan

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Hierarchical invention of theorem proving strategies

    Hierarchical invention of theorem proving strategies by Jakubův, Jan, Urban, Josef

    Published in Ai communications
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Relaxed Weighted Path Order in Theorem Proving

    Relaxed Weighted Path Order in Theorem Proving by Jakubův, Jan, Kaliszyk, Cezary

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Privacy-concerned multiagent planning

    Privacy-concerned multiagent planning by Tožička, Jan, Jakubův, Jan, Komenda, Antonín, Pěchouček, Michal

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Validation of an Air-Traffic Controller behavioral model for fast time simulation

    Validation of an Air-Traffic Controller behavioral model for fast time simulation by Volf, Pr̆emysl, Jakubu̇v, Jan, Koranda, Lukás̆, S̆is̆́lák, David, Pĕchouc̆ek, Michal, Mereu, Stefania, Hilburn, Brian, Nguyen, Duc N.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: