Асосий контентга ўтиш
AkademIndex

Маҳсулотлар

Ишлаб чиқувчилар учун

AkademBaseтез орадаЭкотизим учун очиқ API
Лотин
← Ишга қайтиш

Ушбу иш иқтибос қилган ишлар

16 та иш

Иш: Hoare logic for GOLOG programs

  1. First-Order Dynamic Logic

    David Harel

    Китоб19793 иқтибос
    ABI

  2. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  3. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  4. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  5. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  6. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  7. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  8. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  9. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  10. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  11. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  12. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  13. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  14. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  15. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  16. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI