• # SemiPar

• Referenced in 761 articles [sw07116]
• suitable for several audiences. One audience consists of students or working scientists with only ... Another audience that they are aiming at consists of statistically oriented scientists who have ... third possible audience. This book consists of 19 chapters and 3 appendixes...
• # Isar

• Referenced in 145 articles [sw04599]
• Isar formal proof document language. Isabelle/Isar input consists either of proper document constructors, or improper ... commands (for diagnostics, exploration etc.). Proof texts consisting of proper document constructors only admit...