その他の書誌記述: Tests and Proofs 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / edited by Laura Kovács, Karl Meinke. [electronic resource] :

Summary goes here

保存先:

書誌詳細
フォーマット:	図書
言語:	英語
主題:	Logic. Computer science. Formal Logic. Models of Computation.
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

その他の書誌記述
要約:	Summary goes here
記述事項:	General Notes
物理的記述:	VIII, 127 p. 28 illus., 10 illus. in color.online resource.
ISBN:	9783031098277