kazimirmajorinc.com kazimirmajorinc.com

KAZIMIRMAJORINC.COM

Kazimir Majorinc

New presentations on Lisp, starting in November or December 2015. The gap between explicit and implicit processing,. As powerful as possible. Multimedia Institute, Zagreb, 2015. With P. Gregorek. Školska Knjiga, Zagreb, 1992. Newlisp library (about 5000 lines, 300 functions and 150 fexprs), 2008-13. Newlisp programs for automated theorem finding in propositional calculus, 2011. Detailed description in article. Two hundred thousands reduced λ. Political ideology of programmers. Word or two about algorithms.

http://www.kazimirmajorinc.com/

WEBSITE DETAILS
SEO
PAGES
SIMILAR SITES

TRAFFIC RANK FOR KAZIMIRMAJORINC.COM

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

December

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Saturday

TRAFFIC BY CITY

CUSTOMER REVIEWS

Average Rating: 3.8 out of 5 with 10 reviews
5 star
5
4 star
2
3 star
1
2 star
0
1 star
2

Hey there! Start your review of kazimirmajorinc.com

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

Desktop Preview Tablet Preview Mobile Preview

LOAD TIME

1.2 seconds

FAVICON PREVIEW

  • kazimirmajorinc.com

    16x16

  • kazimirmajorinc.com

    32x32

CONTACTS AT KAZIMIRMAJORINC.COM

KAZIMIR MAJORINC

KOLA●●●●A 10

ZA●●EB , 10000

HR

385.●●●●6856
KA●●●●●@CHEM.PMF.HR

View this contact

KAZIMIR MAJORINC

KOLA●●●●A 10

ZA●●EB , 10000

HR

385.●●●●6856
KA●●●●●@CHEM.PMF.HR

View this contact

KAZIMIR MAJORINC

KOLA●●●●A 10

ZA●●EB , 10000

HR

385.●●●●6856
KA●●●●●@CHEM.PMF.HR

View this contact

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

DOMAIN REGISTRATION INFORMATION

REGISTERED
2013 September 06
UPDATED
2013 September 06
EXPIRATION
EXPIRED REGISTER THIS DOMAIN

BUY YOUR DOMAIN

Network Solutions®

DOMAIN AGE

  • 11

    YEARS

  • 10

    MONTHS

  • 21

    DAYS

NAME SERVERS

1
dns1.cdn.hr
2
dns2.cdn.hr

REGISTRAR

ENOM, INC.

ENOM, INC.

WHOIS : whois.enom.com

REFERRED : http://www.enom.com

CONTENT

SCORE

6.2

PAGE TITLE
Kazimir Majorinc | kazimirmajorinc.com Reviews
<META>
DESCRIPTION
New presentations on Lisp, starting in November or December 2015. The gap between explicit and implicit processing,. As powerful as possible. Multimedia Institute, Zagreb, 2015. With P. Gregorek. Školska Knjiga, Zagreb, 1992. Newlisp library (about 5000 lines, 300 functions and 150 fexprs), 2008-13. Newlisp programs for automated theorem finding in propositional calculus, 2011. Detailed description in article. Two hundred thousands reduced λ. Political ideology of programmers. Word or two about algorithms.
<META>
KEYWORDS
1 kazimir majorinc
2 zagreb croatia
3 upcoming
4 books
5 in work
6 new lisp book
7 logic
8 and m turk
9 software
10 default
CONTENT
Page content here
KEYWORDS ON
PAGE
kazimir majorinc,zagreb croatia,upcoming,books,in work,new lisp book,logic,and m turk,software,default,finder p1,and finder p2,expressions 1,lispproperties,for scite,sexpron i,compressed file,popular articles,and s puljar,technical articles,vl simeon
SERVER
Apache
CONTENT-TYPE
utf-8
GOOGLE PREVIEW

Kazimir Majorinc | kazimirmajorinc.com Reviews

https://kazimirmajorinc.com

New presentations on Lisp, starting in November or December 2015. The gap between explicit and implicit processing,. As powerful as possible. Multimedia Institute, Zagreb, 2015. With P. Gregorek. Školska Knjiga, Zagreb, 1992. Newlisp library (about 5000 lines, 300 functions and 150 fexprs), 2008-13. Newlisp programs for automated theorem finding in propositional calculus, 2011. Detailed description in article. Two hundred thousands reduced λ. Political ideology of programmers. Word or two about algorithms.

INTERNAL PAGES

kazimirmajorinc.com kazimirmajorinc.com
1

Kazimir Majorinc, Edsger W. Dijkstra on Lisp

http://www.kazimirmajorinc.com/Documents/Edsger-W-Dijkstra-on-Lisp/index.html

Edsger W. Dijkstra on Lisp. This is a collection of all Edsger W. Dijkstra. Has been jokingly described as "the most intelligent way to misuse a computer". I think that description a great compliment because it transmits the full flavor of liberation: it has assisted a number of our most gifted fellow humans in thinking previously impossible thoughts. Edsger W. Dijkstra. Communications of the ACM 15 (10), October 1972. 15 Manual: halfway their description of the programming language LISP. Has somehow giv...

2

Kazimir Majorinc, Crawler Tractor

http://www.kazimirmajorinc.com/Documents/Crawler-tractor/index.html

Example of the self-processing Lisp program is presented. The function. Written in Newlisp dialect of Lisp, continously increments the value of the variable. And prints its value. However, implementation of. Doesn't contain a loop or recursion. Instead, the function changes the code of its definition during evaluation. Begin (print "Hi for the ". The result of evaluation of (. Hi for the 1. time. Hi for the 2. time. Hi for the 3. time. Hi for the 4. time. Proof of the concept. Push '(if ( 0 1).

3

Kazimir Majorinc, On Pitman's Special Forms in Lisp

http://www.kazimirmajorinc.com/Documents/On-Pitmans-Special-forms-in-Lisp/index.html

On Pitman's Special forms in Lisp. It appears that during last few years controversial concept of fexprs is actualized in Lisp community. Newlisp and Picolisp, two small, dynamically scoped Lisps supporting fexprs are actively developed and respective communities slowly, but consistently, grow. Fexprs are frequently discussed on authoritative Lambda the Ultimate. Web site, passionately advocated by Schemers Thomas Lord. Fexprs were put to death. Who in his 1980. Conference presentation Special Forms.

4

Kazimir Majorinc, Automated theorem finding in propositional calculus

http://www.kazimirmajorinc.com/Documents/Automated-theorem-finding-in-propositional-calculus/index.html

Automated theorem finding is, according to Larry Wos. One of the basic research problems of automated reasoning.[ 6. Its objective is search for new, interesting or important mathematical theorems, in contrast to more popular automated theorem proving, i.e. search for proofs of given theorems. See, for instance, Simon Colton. S and Alex Bundy. S survey of previous work.[ 1. Appears to be sole published description of the experiment with automated theorem finding in propositional calculus. Wang. Two progr...

5

Kazimir Majorinc, A few examples of Lisp code typography

http://www.kazimirmajorinc.com/Documents/Lisp-code-typography/index.html

A Few Examples of. Last change: October 31. The code formatting and typography is frequent, controversial but probably unavoidable topic among programmers. This document contains some representative and possibly, relevant examples of the Lisp code.

UPGRADE TO PREMIUM TO VIEW 5 MORE

TOTAL PAGES IN THIS WEBSITE

10

LINKS TO THIS WEBSITE

kazimirmajorinc.blogspot.com kazimirmajorinc.blogspot.com

Kazimir Majorinc's Blog (currently not in use): December 2010

http://kazimirmajorinc.blogspot.com/2010_12_01_archive.html

Kazimir Majorinc's Blog (currently not in use). Kazimir Majorinc - web site. Kazimir Majorinc - Lisp book. Expansion of Free Variables. The function "expand" is a Newlisp version of mathematical operation. Of the substitution. It is very useful function. For example,. Expand '(lambda(x y)(print x) 'x). Lambda (new-variable y) (print new-variable). Newlisp "expands" all occurences of the symbol x with symbol. However, it is not always convenient to apply substitution on. X (* 2 x) (let( x 5) (* x x) ).

kazimirmajorinc.blogspot.com kazimirmajorinc.blogspot.com

Kazimir Majorinc's Blog (currently not in use): September 2010

http://kazimirmajorinc.blogspot.com/2010_09_01_archive.html

Kazimir Majorinc's Blog (currently not in use). Kazimir Majorinc - web site. Kazimir Majorinc - Lisp book. Change of The Blog Name. I changed the name of the blog from "Programming notes" to "Lisp notes." The reason is practical - more specific information for search engines, so potential readers can find it easier. Links on this post. McCarthy-60 Lisp in McCarthy-60 Lisp in . in McCarthy-60 Lisp. In this article, I'll show how John McCarthy. S Lisp can be interpreted. And so on, n times. That definition...

kazimirmajorinc.blogspot.com kazimirmajorinc.blogspot.com

Kazimir Majorinc's Blog (currently not in use): January 2011

http://kazimirmajorinc.blogspot.com/2011_01_01_archive.html

Kazimir Majorinc's Blog (currently not in use). Kazimir Majorinc - web site. Kazimir Majorinc - Lisp book. Some differences between lambda-calculus and Lisp (2). This is the second part of previous post. 4 Evaluation in Lisp vs. Reduction to normal form in lambda-calculus. As noted in previous post, in Lisp, evaluation of the function. Application is defined recursively:. 1 evaluation of the function arguments is performed. 2 resulting values are assigned to the parameters of. 41 Order of reductions in.

kazimirmajorinc.blogspot.com kazimirmajorinc.blogspot.com

Kazimir Majorinc's Blog (currently not in use): June 2010

http://kazimirmajorinc.blogspot.com/2010_06_01_archive.html

Kazimir Majorinc's Blog (currently not in use). Kazimir Majorinc - web site. Kazimir Majorinc - Lisp book. Small But Robust Bug in Gabriel and Steele's "Evolution of Lisp.". Although not nearly as intriguing as the bugs in early definitions of EVAL. This bug is still interesting example of vitality and robustness: it is typical specimen, found on quite visible place, yet it passed unnoticed by two authors and few reviewers. Instead, you're directed to MIT AI "memos" AIM-452. Links on this post.

kazimirmajorinc.blogspot.com kazimirmajorinc.blogspot.com

Kazimir Majorinc's Blog (currently not in use): Spring evening in my hacklab

http://kazimirmajorinc.blogspot.com/2013/05/spring-evening-in-my-hacklab.html

Kazimir Majorinc's Blog (currently not in use). Kazimir Majorinc - web site. Kazimir Majorinc - Lisp book. Spring evening in my hacklab. Veljko, Lovro and Psy Shree Krishna. 8 May 2013 at 20:14. Hi Kaz. Long time no chat. Just wanted to say hi again. Google Reader is quitting, so i was going thru my blogs. Definitely going to keep reading yours. Hope alls well. 8 May 2013 at 20:27. Thank you, Xah, everything is OK. I see youre still in Emacs. Subscribe to: Post Comments (Atom). My main site is.

kazimirmajorinc.blogspot.com kazimirmajorinc.blogspot.com

Kazimir Majorinc's Blog (currently not in use): October 2010

http://kazimirmajorinc.blogspot.com/2010_10_01_archive.html

Kazimir Majorinc's Blog (currently not in use). Kazimir Majorinc - web site. Kazimir Majorinc - Lisp book. On Pitman's "Special Forms in Lisp.". Moved to kazimirmajorinc.com. Links on this post. Subscribe to: Posts (Atom). On Pitmans Special Forms in Lisp. My main site is. You can be interested in http:/ lispbook.com. Dragonfly - a Newlisp Web Famework. Lo scripting come non . Newlisp Fan Club - forum. Introduction to Newlisp (book in html). Introduction to Newlisp (book, pdf). Interview with Lutz Mueller.

kazimirmajorinc.blogspot.com kazimirmajorinc.blogspot.com

Kazimir Majorinc's Blog (currently not in use): August 2010

http://kazimirmajorinc.blogspot.com/2010_08_01_archive.html

Kazimir Majorinc's Blog (currently not in use). Kazimir Majorinc - web site. Kazimir Majorinc - Lisp book. A Few Photographies from "Nothing will happen", Split 2010. I just returned from " Nothing will happen. Discussing his recent work on Dylan type system. Talking about Hygienic Fexprs. S basic introduction to Enlive, a HTML transformation / templating library for Clojure. From Chaos Computer Club. From Belgrade and I. My roommates, Nikola Plejić. Links on this post. Care was required, because the fun...

kazimirmajorinc.blogspot.com kazimirmajorinc.blogspot.com

Kazimir Majorinc's Blog (currently not in use): July 2010

http://kazimirmajorinc.blogspot.com/2010_07_01_archive.html

Kazimir Majorinc's Blog (currently not in use). Kazimir Majorinc - web site. Kazimir Majorinc - Lisp book. The Cover of "Byte Magazine" 1979 Lisp Issue. Look what just popped from some old stack:. It appears that extraterrestrials used LAMDA. Links on this post. Nothing Will Happen", Split, Croatia, 19-22 August 2010. Split is beautiful, ancient city on Mediterranean, Adriatic coast. If you're interested, you're invited to join. Links on this post. Sin cos 0.5) = (sin (cos 0.5). And that it is better to ...

kazimirmajorinc.blogspot.com kazimirmajorinc.blogspot.com

Kazimir Majorinc's Blog (currently not in use): February 2011

http://kazimirmajorinc.blogspot.com/2011_02_01_archive.html

Kazimir Majorinc's Blog (currently not in use). Kazimir Majorinc - web site. Kazimir Majorinc - Lisp book. Lambda Calculus Meta-variables Supported in my Newlisp Library. Lambda calculus is very small and still "Turing complete" language. However, because of its simplicity and small size, it is very hard to write real programs - even harder than in assembly language. Most of the materials demonstrating programming in lambda calculus use meta-variables. For instance, TRUE is defined as. X ( y . x) ).

UPGRADE TO PREMIUM TO VIEW 13 MORE

TOTAL LINKS TO THIS WEBSITE

22

OTHER SITES

kazimirkudek.com kazimirkudek.com

Choose language | Drupal

Install Drupal in English. Learn how to install Drupal in other languages.

kazimirland.skyrock.com kazimirland.skyrock.com

Blog de Kazimirland - Dream of Kazimir - Skyrock.com

Mot de passe :. J'ai oublié mon mot de passe. Et bien bonjour a tous ce sky est tout d'abord dedie a mon ame soeur et mon ptit bebe. cet univers vous fera decouvrir mes amis, ma vie, mes passions et ma moitie je t'aime mon ptit papillon. Mise à jour :. Abonne-toi à mon blog! Soirée Année 90 Butterfly Episode 9. Fin de soiree au Butterfly. Soirée Genial merci :). Moi et mon bebe d'amour. Je t'aime mon ange. Ou poster avec :. Posté le samedi 11 septembre 2010 11:06. Soirée Année 90 Butterfly Episode 8.

kazimirlee.com kazimirlee.com

Kazimir Lee's Art - Not A Crime

Gone sunbathin', watching 'em demonstratin'. The city that cried wolf. End of a century. Proudly powered by Weebly.

kazimirlovink.com kazimirlovink.com

KAZ!

ABC and BBC GAMES! NICK JR. PLAYTIME. ABC - FIVE MINUTE MORE. LEGO - MARS MISSION. LEGO - SPEED SESSION. MAN IN THE DARK.

kazimirmajorinc.blogspot.com kazimirmajorinc.blogspot.com

Kazimir Majorinc's Blog (currently not in use)

Kazimir Majorinc's Blog (currently not in use). Kazimir Majorinc - web site. Kazimir Majorinc - Lisp book. Spring evening in my hacklab. Veljko, Lovro and Psy Shree Krishna. Links on this post. Subscribe to: Posts (Atom). Spring evening in my hacklab. My main site is. You can be interested in http:/ lispbook.com. Dragonfly - a Newlisp Web Famework. Lo scripting come non . Newlisp Fan Club - forum. Introduction to Newlisp (book in html). Introduction to Newlisp (book, pdf). Newlisp Shell Games (10 videos).

kazimirmajorinc.com kazimirmajorinc.com

Kazimir Majorinc

New presentations on Lisp, starting in November or December 2015. The gap between explicit and implicit processing,. As powerful as possible. Multimedia Institute, Zagreb, 2015. With P. Gregorek. Školska Knjiga, Zagreb, 1992. Newlisp library (about 5000 lines, 300 functions and 150 fexprs), 2008-13. Newlisp programs for automated theorem finding in propositional calculus, 2011. Detailed description in article. Two hundred thousands reduced λ. Political ideology of programmers. Word or two about algorithms.

kazimirmalevich.com kazimirmalevich.com

kazimirmalevich.com

kazimirmalevich.net kazimirmalevich.net

Kazimir Malevich Paintings, Prints & Artwork

Breaking News: Art.com announces sale on all Kazimir Malevich paintings, prints and posters (Use voucher code on their site). Buy Now from Art.com. Kazimir Malevich is a Russian painter from the 20th century who was at the forefront of abstract art as it appeared for the first time across Europe. The Soviet Union produced many key contemporary artists during this period despite the culture of the ruling party being relatively traditional in thinking. Kazimir Malevich originals have been sold in recent ye...

kazimirmalevich.org kazimirmalevich.org

kazimir malevich .org by rafaël rozendaal, 2008

kazimirmalevich.ru kazimirmalevich.ru

Малевич Казимир Северинович

Слайдшоу картин под музыку. Малевич. Возвращение в ничто (видео). Человек самое опасное в природе явление. Искусство дикаря и его принципы. Продажа репродукций Малевича с курьерской доставкой. Необузданный и экстравагантный художник. В первую очередь известный своей неоднозначной и вызывающей много дискуссий работой " Черный квадрат. Художников существуют вне времени. Их написания, а других во времени. В Советском Союзе на протяжении многих лет имя. Художника находилось под негласным запретом. Любые попы...

kazimirnik.ru kazimirnik.ru

kazimirnik.ru - This website is for sale! - kazimirnik Resources and Information.

This domain may be for sale - этот домен возможно продается. This page provided to the domain owner free. By Sedo's Domain Parking. Disclaimer: Domain owner and Sedo maintain no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo or domain owner and does not constitute or imply its association, endorsement or recommendation.