Focus Windows: A Tool for Automated Provers

Florina Piroi

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Symbolic and Numeric Algorithms for Scientific Computing. Proceeding of SYNASC'02 International Workshop
Publisher	Proceedings of SYNASC02
Pages	275-279
Number of pages	5
ISBN (Print)	973-585-785-5
Publication status	Published - Oct 2002

Fields of science

@inbook{bec8b804126c4ab5af4c0f6677aff30a,

title = "Focus Windows: A Tool for Automated Provers",

author = "Florina Piroi",

year = "2002",

month = oct,

language = "English",

isbn = "973-585-785-5",

pages = "275--279",

booktitle = "Symbolic and Numeric Algorithms for Scientific Computing. Proceeding of SYNASC'02 International Workshop",

publisher = "Proceedings of SYNASC02",

}