Krzysztof R. Apt: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 12:0212:02, 20 March 2024‎ Jjvereijken talk contribs‎ m 11,741 bytes +4‎ format ISBN correctly undo
curprev 11:5911:59, 20 March 2024‎ Jjvereijken talk contribs‎ 11,737 bytes +252‎ add new book published undo

curprev 05:3805:38, 22 December 2023‎ YusufuAM talk contribs‎ 11,467 bytes +44‎ Added free to read link in citations with OAbot #oabot undo Tag: OAbot [2.1]

curprev 04:4204:42, 29 November 2023‎ OAbot talk contribs‎ m 11,423 bytes −4‎ Open access bot: doi updated in citation with #oabot. undo

curprev 02:5702:57, 18 July 2023‎ Vahurzpu talk contribs‎ m 11,463 bytes +22‎ Add authority control undo

curprev 13:1313:13, 4 January 2023‎ Citation bot talk contribs‎ 11,407 bytes +285‎ Alter: title, pages, doi, isbn. Add: series, doi, s2cid, url, isbn, pages. Removed parameters. Formatted dashes. Upgrade ISBN10 to 13. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 1658/2500 undo

curprev 06:0206:02, 22 December 2022‎ GünniX talk contribs‎ m 11,122 bytes −20‎ v2.05 - Fix errors for CW project (Template without correct beginning - Link equal to linktext) undo Tag: WPCleaner

curprev 10:4910:49, 19 November 2022‎ DavidGries talk contribs‎ 11,142 bytes +348‎ →‎Academic career: added reference for Austin professorship undo

curprev 18:2818:28, 9 November 2022‎ DavidGries talk contribs‎ 10,746 bytes +156‎ No edit summary undo
curprev 11:3411:34, 9 November 2022‎ DavidGries talk contribs‎ 10,590 bytes +146‎ No edit summary undo
curprev 11:2211:22, 9 November 2022‎ Shirt58 talk contribs‎ 10,444 bytes +28‎ added Category:Living people using HotCat undo
curprev 11:1011:10, 9 November 2022‎ DavidGries talk contribs‎ 10,416 bytes +10,416‎ ←Created page with 'Krzysztof R. Apt (born 26 December 1949 in Katowice, Poland) is a Polish computer scientist. He defended his PhD in mathematical logic in Warsaw, Poland in 1974.<ref>{{MathGenealogy|id=22611}}</ref> His research interests include program correctness and semantics, use of logic as a programming language, distributed computing, and game theory. Bes...'