Opis

• Tytuł: Easyprove : a tool for teaching precise reasoning
• Tytuł pracy zbiorowej: Proceedings of the Fourth International Conference on Tools for Teaching Logic 9-12 June 2015
• Twórca: Materzok, Marek
• Strony: S. 129-136
• Opis: Zawiera streszczenie. ; Zawiera bibliografię. ; Zawiera ilustracje.
• Język Abstraktu: eng
• Wydawca: Université de Rennes
• Miejsce wydania: Rennes
• Data wydania: 2015
• Typ: Tekst
• Język publikacji: eng
• Wersja Cyfrowa: http://ttl2015.irisa.fr/TTL2015_proceedings.pdf
• Licencja: CC BY
• Szczegółowy typ obiektu: rozdz
• Typ obiektu: Rozdział