Regole d'inferenza e derivazioni nel calcolo dei predicati
Link sponsorizzati
-
Manuale Prolog
Questo manuale online tratta sia gli aspetti teorici della logica formale (calcolo proposiazionale logica dei predicati risoluzione di problemi etc) che l'utilizzo del Prolog per programmare sistemi intelligenti (come ad esempio l'analisi del linguaggio naturale).
-
Faerun's legends
Shard italiano di UO ambientato nel mondo dei Forgotten Realms e programmato sulle regole di D&D 3ª Edizione Offre informazioni regole download e contatti.
-
Cristianuguccioni.it
Storia regole statistiche calcolo probabilistico e risorse varie sul lotto Presenta anche i sistemi di Cristian Uguccioni.
-
Ammonia Records
Opera in ambiti rock e derivazioni nel sito la produzione e gli artisti in catalogo.
-
Bampi, Franco: Lo scopone scientifico
Presenta il gioco con note storiche regole di Chitarrella e regole dei maestri.
-
Nonsolocap.it: Calcolo del codice fiscale
Strumento per il calcolo ed il controllo formale di correttezza dei CF Considera sia i comuni italiani che gli stati esteri Spiega e risolve l'omocodia.
-
La cronologia del 1914
Sito dedicato agli errori nel calcolo biblico dei Testimoni di Geova.
-
Belsitowarrant
Presenta spiegazioni e regole per operare nel mercato dei covered warrant è disponibile una guida relativa ai turbo certificates.
-
Il tempo nel Medioevo. Rappresentazioni storiche e concezioni filosofiche
Un saggio di Graziano Perillo sull'evoluzione della nozione di tempo attraverso il medioevo e sul suo impatto nel calcolo delle cronologie e dei calendari.
-
Regole del Golf Quiz
Sologolf propone dei quiz sulle regole del golf informazioni e raccolta di nozioni su golf e golfisti.
-
Secos Engineering
Offre software per il calcolo la progettazione e il disegno nel settore termotecnico Profilo aziendale descrizione dei prodotti referenze.
-
B e M
Produce e commercializza collettori e derivazioni in rame per gas e liquido con estremi a saldare multidiametro per tubazioni frigorifere e impianti di condizionamento VRF Schede tecniche dei prodotti.
-
Barracuda Records
Etichetta che produce musica punk e derivazioni ed effettua vendita per corrispondenza di dischi usati e rarità Artisti prodotti catalogo dei titoli disponibili recapiti per contatti e ordinazioni.
-
Carraronan: Follia
Librogame modulare in HTML per GURPS con regole tradotte e riadattate in italiano Illustra equipaggiamento armi appendici e propone consigli e regole extra.
-
"Regole Golf" di Hans Paul Griesser
Regole forum di discussione quiz per verificare la propria conoscenza.
-
Tecnisoft S.a.s.
Opera nel settore dello sviluppo di programmi applicativi per l'ingegneria civile in particolare nel campo del calcolo e del disegno strutturale L'azienda i prodotti listino versioni dimostrative.
-
Strumenti di calcolo
Storia e descrizione degli strumenti di calcolo Abaco regolo tavole logaritmiche addizionatrici calcolatrici meccaniche e elettroniche computer.